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 adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundle bundles calculus categories category category-theory chern-simons-theory chern-weil-theory cobordism cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimit colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology deformation-theory derived-geometry descent differential differential-cohomology differential-geoemtry differential-geometry dold fibration duality elliptic-cohomology enriched factorization-system fibration foundations functional-analysis functor galois-theory gauge-theory gebra general topology geoemtry geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration-theory internal-categories k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure measure-theory meta modal-logic model model-category-theory monoidal monoidal-category monoidal-category-theory morphism motives motivic-cohomology newpage nonassociative noncommutative noncommutative-geometry number-theory operator operator-algebra order-theory 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 supergeometry symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory torsor tqft type-theory

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 topichomotopy localization and A1-homotopy theory
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 59 seconds ago

- Discussion Type
- discussion topichistory of mathematics
- Category Latest Changes
- Started by zskoda
- Comments 5
- Last comment by zskoda
- Last Active 3 hours ago

- Discussion Type
- discussion topic"Science of Logic"
- Category Latest Changes
- Started by Urs
- Comments 105
- Last comment by Urs
- Last Active 4 hours ago

- Discussion Type
- discussion topicWZW-model globalized over Cartan geometry -- elementary formalization
- Category Latest Changes
- Started by Urs
- Comments 31
- Last comment by Urs
- Last Active 4 hours ago

- Discussion Type
- discussion topicstring theory FAQ
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicderived algebraic geometry
- Category Latest Changes
- Started by adeelkh
- Comments 72
- Last comment by adeelkh
- Last Active 3 days ago

- Discussion Type
- discussion topicgenerality of Mayer-Vietoris in an infinity-topos (?)
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 14
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicgeometry of physics -- manifolds and orbifolds
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicrandom variable
- Category Latest Changes
- Started by Urs
- Comments 41
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicModern Physics in Modal Homotopy Theory
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicunit of an adjunction
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicAufhebung
- Category Latest Changes
- Started by Urs
- Comments 59
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicstring field theory
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicCategory theory
- Category Mathematics, Physics & Philosophy
- Started by astuart911
- Comments 2
- Last comment by Urs
- Last Active 6 days ago

- Discussion Type
- discussion topicconserved current
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 6 days ago

- Discussion Type
- discussion topicautomorphisms of double homotopy fibers
- Category nLab General Discussions
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topicdifferentials
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 67
- Last comment by TobyBartels
- Last Active 7 days ago

- Discussion Type
- discussion topicright Bousfield delocalization
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 1
- Last comment by Dmitri Pavlov
- Last Active 7 days ago

- Discussion Type
- discussion topicwriter comonad
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 18th 2015

- Discussion Type
- discussion topicTime
- Category Latest Changes
- Started by trent
- Comments 4
- Last comment by trent
- Last Active Apr 18th 2015

- Discussion Type
- discussion topicnecessity and possibility
- Category Latest Changes
- Started by Urs
- Comments 162
- Last comment by Urs
- Last Active Apr 18th 2015

- Discussion Type
- discussion topiccompletely distributive Boolean algebras
- Category Latest Changes
- Started by Todd_Trimble
- Comments 1
- Last comment by Todd_Trimble
- Last Active Apr 18th 2015

- Discussion Type
- discussion topicfunction monad
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 17th 2015

- Discussion Type
- discussion topicstructuralism
- Category Latest Changes
- Started by zskoda
- Comments 4
- Last comment by Urs
- Last Active Apr 17th 2015

- Discussion Type
- discussion topicLogic as the Essence of Philosophy
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 17th 2015

- Discussion Type
- discussion topicinfinite product
- Category Latest Changes
- Started by Mike Shulman
- Comments 19
- Last comment by NikolajK
- Last Active Apr 16th 2015

- Discussion Type
- discussion topiccubes with diagonals
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 27
- Last comment by Mike Shulman
- Last Active Apr 16th 2015

- Discussion Type
- discussion topicgroup cohomology
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by Urs
- Last Active Apr 16th 2015

- Discussion Type
- discussion topicconjugation action
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 16th 2015

- Discussion Type
- discussion topicinvariant
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 16th 2015