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

(0 2-category 2-category-theory abelian-categories accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cobordism-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology deformation-theory derived-geometry descent differential differential-cohomology differential-geometry duality education elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus gravity group-theory 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-theory k-theory kan lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure measure-theory modal-logic model model-category-theory model-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nonassociative noncommutative noncommutative-geometry number number-theory of operads operator operator-algebra order-theory phenomenology 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 set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject super-geometry superalgebra supergeometry symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory tqft type type-theory universal

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 topicsymbol for infinitesimal shape
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 62
- Last comment by Mike Shulman
- Last Active 20 hours ago

- Discussion Type
- discussion topicultraproduct
- Category Mathematics, Physics & Philosophy
- Started by Tim_Porter
- Comments 6
- Last comment by jesse
- Last Active 1 day ago

- Discussion Type
- discussion topicwave function collapse and split monomorphisms
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 20
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicone-sided linearly distributive categories
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active May 16th 2017

- Discussion Type
- discussion topicsimplicial sets as a classifying topos
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 3
- Last comment by Mike Shulman
- Last Active May 10th 2017

- Discussion Type
- discussion topicconstructive/intuitionistic
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 13
- Last comment by spitters
- Last Active May 9th 2017

- Discussion Type
- discussion topic(Derived) noncommutative geometry and higher geometry
- Category Mathematics, Physics & Philosophy
- Started by lschmsc
- Comments 1
- Last comment by lschmsc
- Last Active May 4th 2017

- Discussion Type
- discussion topicMusings on modalities
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 6
- Last comment by David_Corfield
- Last Active Apr 27th 2017

- Discussion Type
- discussion topicdependent cartesian closed categories
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 2
- Last comment by NikolajK
- Last Active Apr 25th 2017

- Discussion Type
- discussion topicobjects of finite type (terminology)
- Category Mathematics, Physics & Philosophy
- Started by Alain BruguiÃ¨res
- Comments 5
- Last comment by DavidRoberts
- Last Active Apr 25th 2017

- Discussion Type
- discussion topicSphere spectrum and HoTT
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 12
- Last comment by David_Corfield
- Last Active Apr 20th 2017

- Discussion Type
- discussion topicConjugation of supernumbers
- Category Mathematics, Physics & Philosophy
- Started by Alex Shpilkin
- Comments 1
- Last comment by Alex Shpilkin
- Last Active Apr 15th 2017

- Discussion Type
- discussion topicReasoning and the logic of things
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 4
- Last comment by David_Corfield
- Last Active Apr 10th 2017

- Discussion Type
- discussion topicNotes from IHES
- Category Mathematics, Physics & Philosophy
- Started by DavidRoberts
- Comments 17
- Last comment by Ulrik
- Last Active Apr 8th 2017

- Discussion Type
- discussion topicSuper Lie n-algebra extensions, higher WZW models and super p-branes with tensor multiplet fields
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 34
- Last comment by David_Corfield
- Last Active Apr 5th 2017

- Discussion Type
- discussion topicFavonia's thesis
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 16
- Last comment by Urs
- Last Active Apr 1st 2017

- Discussion Type
- discussion topicdiagrammatic notation for HoTT?
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 5
- Last comment by David_Corfield
- Last Active Mar 31st 2017

- Discussion Type
- discussion topicabsolute spectral affine line?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Mar 30th 2017

- Discussion Type
- discussion topicIntegration as transfinite composition
- Category Mathematics, Physics & Philosophy
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active Mar 29th 2017

- Discussion Type
- discussion topicinternal hom into/out of a 1-mono/1-epi
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Mar 22nd 2017

- Discussion Type
- discussion topicDouble Profunctors
- Category Mathematics, Physics & Philosophy
- Started by maxsnew
- Comments 5
- Last comment by maxsnew
- Last Active Mar 16th 2017

- Discussion Type
- discussion topicPoints of toposes of sheaves on larger-than-usual sites
- Category Mathematics, Physics & Philosophy
- Started by IngoBlechschmidt
- Comments 5
- Last comment by Marc Hoyois
- Last Active Mar 14th 2017

- Discussion Type
- discussion topicdual Quillen-Suslin theorem
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 5
- Last comment by Richard Williamson
- Last Active Mar 11th 2017

- Discussion Type
- discussion topicCoflare differential forms
- Category Mathematics, Physics & Philosophy
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Mar 9th 2017

- Discussion Type
- discussion topicAccessible Categories and Domains
- Category Mathematics, Physics & Philosophy
- Started by maxsnew
- Comments 3
- Last comment by maxsnew
- Last Active Mar 8th 2017

- Discussion Type
- discussion topicFrobenius Container
- Category Mathematics, Physics & Philosophy
- Started by Ben_Sprott
- Comments 4
- Last comment by Ben_Sprott
- Last Active Mar 7th 2017

- Discussion Type
- discussion topicanafunctors and HoTT
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 9
- Last comment by Mike Shulman
- Last Active Mar 6th 2017

- Discussion Type
- discussion topicmodel structure on spectra in reduced simplicial sets?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Mar 6th 2017

- Discussion Type
- discussion topicInverse functions.
- Category Mathematics, Physics & Philosophy
- Started by KeithEPeterson
- Comments 6
- Last comment by DavidRoberts
- Last Active Mar 2nd 2017

- Discussion Type
- discussion topicHoTT book 3.5.2
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 7
- Last comment by Mike Shulman
- Last Active Feb 26th 2017