Not signed in (Sign In)

A discussion forum about contributions to the nLab wiki and related areas of mathematics, physics, and philosophy.

Want to take part in these discussions? Sign in if you have an account, or apply for one below

2-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science connection constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal-logic model model-category-theory monads monoid monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

- Discussion Type
- discussion topicWZW-type superstring field theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 21st 2011

stub for WZW-type superstring field theory

- Discussion Type
- discussion topicSeiberg duality
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Oct 21st 2011

stub for Seiberg duality motivated from this discussion at “Theoretical Physics Stack Exchange” (is this now publically visible?)

- Discussion Type
- discussion topiccomplex analysis
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Oct 20th 2011

New entry complex analysis.

- Discussion Type
- discussion topic0-morphism
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by TobyBartels
- Last Active Oct 19th 2011

felt the need for 0-morphism

- Discussion Type
- discussion topicdirectional derivative
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Oct 19th 2011

New entry directional derivative, redirecting also Gâteaux derivative. Much of the material is adapted from Fréchet space (which also calls for this entry). Somebody should write more on the (possibly infinite-dimensional) manifold case.

- Discussion Type
- discussion topicStephan's edits
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by zskoda
- Last Active Oct 19th 2011

Somebody signing as “Stephan” has made half a dozen or so edits lately. Does anyone know who this might be? Because I would like to suggest to him to announce his changes here.

Mostly they were very useful corrections. But at nice category of spaces and at groupoid object in an (infinity,1)-category I felt that the comment added there by him was in need of a bit of rephrasing. Nothing serious, but I’d like to know who he is to sort this out.

He also, I think, created a new entry titled Principal bundles, groupoids and connections

- Discussion Type
- discussion topichomotopical algebra
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by jim_stasheff
- Last Active Oct 19th 2011

I have cross-linked the two entries homotopical algebra and higher algebra.

At homotopical algebra I moved the text that had existed there into a subsection “History”, because that’s what it is about, right? I added a section “Idea” but so far only included a link to higher algebra there. We could maybe merge the two entries.

- Discussion Type
- discussion topicconnection on a bundle
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by zskoda
- Last Active Oct 18th 2011

added to connection on a bundle

a Definition (nPOV-flavor, of course)

a Properties-section with statement and proof of the fact that every bundle does admit a connection.

- Discussion Type
- discussion topicBRST complex
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Oct 17th 2011

at BRST complex I started writing out a detailed example to supplement this reply over at TP:SE. I am not done yet, but I have to interrupt now.

- Discussion Type
- discussion topictable of orthogonal groups and related
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by zskoda
- Last Active Oct 17th 2011

started something called table of orthogonal groups and related and included it into the relevant entries

- Discussion Type
- discussion topicdg-manifold
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 17th 2011

stub for dg-manifold and dg-scheme

- Discussion Type
- discussion topictable of branes
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Oct 14th 2011

I have started creating a

*table of branes and their worldvolume theories*. So far it looks as followsI have created all the missing entries to complete this and have included the table in all relevant entries.

- Discussion Type
- discussion topicblack brane
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 14th 2011

stub for black brane

- Discussion Type
- discussion topic7d supergravity
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 14th 2011

I am starting an entry 7-dimensional supergravity in order to collect some references that I need

- Discussion Type
- discussion topicKapustin-Witten TQFT
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 14th 2011

stub for Kapustin-Witten TQFT in order to supply some links for this TP.SE question

- Discussion Type
- discussion topicAdS7 / CFT6
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Oct 13th 2011

I have been adding to AdS/CFT in the section

*AdS7 / CFT6*a (of course incomplete) list of available evidence for what is going on.This is triggered by the fact that we have a proposal for a precise formalization of the effective 7d theory.

- Discussion Type
- discussion topicsuper Yang-Mills theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 13th 2011

finally created a stub for super Yang-Mills theory

- Discussion Type
- discussion topicflux
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 13th 2011

one possible bit of information at flux

- Discussion Type
- discussion topicconfiguration space
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by zskoda
- Last Active Oct 13th 2011

stub for configuration space with $\infty$-topos theoretic definition. See also phase space

- Discussion Type
- discussion topicn-poset
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Oct 13th 2011

I have added an explanatory paragraph to n-poset in reply to this MO question.

Also, at poset itself I have added a word (“hence”) to indicate that if something is a category with at most one morphism between any ordered pair of objects, then it is already implied that if there are two morphisms back and forth between two objects, then these are equal.

- Discussion Type
- discussion topicepi/mono factorization system
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by TobyBartels
- Last Active Oct 12th 2011

I have split off an entry epi/mono factorization system in order to better be able to amplify the higher pattern that this sits in

- Discussion Type
- discussion topichomotopy image
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 10th 2011

added to homotopy image a brief remark in a new subsection on how this is given by the n-connected/n-truncated factorization system for $n = -1$.

- Discussion Type
- discussion topicn-connected/n-truncated factorization system
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 10th 2011

at n-connected/n-truncated factorization system I have created an Examples-section with a brief indication of what this factorization “means” for low values of $n$ (from $n= -2$ to $n = 0$).

- Discussion Type
- discussion topic2-categorical factorization systems
- Category Latest Changes
- Started by Mike Shulman
- Comments 13
- Last comment by Urs
- Last Active Oct 10th 2011

Created factorization system in a 2-category.

- Discussion Type
- discussion topicRevamping [[measurable space]].
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Oct 9th 2011

I plan to redo measurable space, and the outline of the plan is now at the bottom.

For the nonce, I’ve moved some material to a new article sigma-algebra, and some of that thence to the previous stub Borel subset.

- Discussion Type
- discussion topicnew entries surrounding well-quasi-orders
- Category Latest Changes
- Started by Todd_Trimble
- Comments 2
- Last comment by Todd_Trimble
- Last Active Oct 6th 2011

Stubby beginnings of articles on well-quasi-order, antichain, and graph minor. Some minor mention (ha ha) of the Robertson-Seymour theorem. Please feel free to add more.

- Discussion Type
- discussion topicHamiltonian vector fields on symplectic oo-groupoids
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 6th 2011

new section at symplectic infinity-groupoid on Hamiltonian vector fields on symplectic oo-groupoids.

- Discussion Type
- discussion topicgeometric Langlands program
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Oct 5th 2011

I have significantly extended the list of references at geometric Langlands program. Langlands’ is here in the role of adjective and geometric Langlangds is an informal abbreviation. I have changed the former name geometric Langlands to geometric Langlands program but due cache bug now two pages seem to exist in parallel.

- Discussion Type
- discussion topiccollective field theory, large N limit
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Oct 4th 2011

On Sep 29, I added the new stubs collective field theory and large N limit. My interest is in the question I just posed at theoreticalPhysics.stackexchange systematic-approach-to-deriving-equations-of-collective-field-theory-to-any-order.

In my opinion/wish, I should have been better prepared to ask that question (in depth reading of some of the key references are on my todo list), but I posted the question a bit earlier than ready for a better documented question, as anyway there is a need of constructive kick-off of the activity at thPh.stExch.

- Discussion Type
- discussion topicThe algebra of idempotents
- Category Latest Changes
- Started by TobyBartels
- Comments 3
- Last comment by TobyBartels
- Last Active Oct 3rd 2011

I wrote about the boolean algebra of idempotents in a commutative ring. There’s also stuff in there about projection operators (that page doesn’t exist).