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-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles categories category category-theory chern-simons-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology deformation-theory derived-geometry descent differential differential-cohomology differential-geometry dold fibration duality elliptic-cohomology enriched factorization-system fibration foundations functional-analysis functor galois-theory gauge-theory gebra general topology geoemtry geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geoemtry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration-theory internal-categories k-theory kan lie lie-algebras lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure measure-theory meta modal-logic model model-category-theory monoidal-category monoidal-category-theory morphism motives motivic-cohomology n-groups newpage nonassociative noncommutative noncommutative-geometry number-theory 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 supergeometry symplectic-geometry synthetic-differential-geometry tannaka terminology theory topology topos topos-theory torsor tqft type-theory 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 topicpoint
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 2
- Last comment by Urs
- Last Active 2 hours ago

- Discussion Type
- discussion topiccollection of all constructible terms?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 2 hours ago

- Discussion Type
- discussion topicAdS/CFT and higher spin gauge theory
- Category nLab Technical Matters
- Started by Giotis Mth
- Comments 15
- Last comment by Urs
- Last Active 2 hours ago

- Discussion Type
- discussion topicForum spam
- Category n-Forum
- Started by Andrew Stacey
- Comments 31
- Last comment by Tim_Porter
- Last Active 2 days ago

- Discussion Type
- discussion topicproof net
- Category Latest Changes
- Started by Todd_Trimble
- Comments 9
- Last comment by Noam_Zeilberger
- Last Active 2 days ago

- Discussion Type
- discussion topicKaluza-Klein mechanism
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicapplication error
- Category nLab Technical Matters
- Started by Todd_Trimble
- Comments 20
- Last comment by Mike Shulman
- Last Active 2 days ago

- Discussion Type
- discussion topicNatural deduction
- Category Latest Changes
- Started by TobyBartels
- Comments 15
- Last comment by Thomas Holder
- Last Active 3 days ago

- Discussion Type
- discussion topicrheonomy in supergravity -- elementary formalization?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 25
- Last comment by David_Corfield
- Last Active 3 days ago

- Discussion Type
- discussion topicM-theory on G2-manifolds
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicWhat are the compact objects in the category of locales?
- Category nLab General Discussions
- Started by Dmitri Pavlov
- Comments 8
- Last comment by Thomas Holder
- Last Active 3 days ago

- Discussion Type
- discussion topicCrans-Gray tensor product
- Category Latest Changes
- Started by Harry Gindi
- Comments 39
- Last comment by Richard Williamson
- Last Active 4 days ago

- Discussion Type
- discussion topicExperiment: Turning off the IP check
- Category nLab Technical Matters
- Started by Andrew Stacey
- Comments 7
- Last comment by gtall
- Last Active 4 days ago

- Discussion Type
- discussion topicM-theory super Lie algebras
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topictorsion theory, quotient category
- Category Latest Changes
- Started by zskoda
- Comments 23
- Last comment by Tim_Porter
- Last Active 5 days ago

- Discussion Type
- discussion topicnonabelian Hodge theory
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicsubobjects of discrete objects
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 16
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicBrandom on substitution and replacement
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 4
- Last comment by David_Corfield
- Last Active 6 days ago

- Discussion Type
- discussion topicStone duality
- Category Latest Changes
- Started by TobyBartels
- Comments 15
- Last comment by Todd_Trimble
- Last Active 7 days ago

- Discussion Type
- discussion topicdg-category
- Category Latest Changes
- Started by adeelkh
- Comments 3
- Last comment by adeelkh
- Last Active 7 days ago

- Discussion Type
- discussion topicWirthmüller context, Grothendieck context
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by adeelkh
- Last Active 7 days ago

- Discussion Type
- discussion topiccategorical geometric Langlands conjecture
- Category Latest Changes
- Started by adeelkh
- Comments 1
- Last comment by adeelkh
- Last Active 7 days ago

- Discussion Type
- discussion topichigher dualizing
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 32
- Last comment by DavidRoberts
- Last Active 7 days ago

- Discussion Type
- discussion topicend compactification
- Category Latest Changes
- Started by Todd_Trimble
- Comments 3
- Last comment by Todd_Trimble
- Last Active 7 days ago

- Discussion Type
- discussion topicLab down
- Category nLab Technical Matters
- Started by TobyBartels
- Comments 425
- Last comment by Mike Shulman
- Last Active 7 days ago

- Discussion Type
- discussion topicsymbol for infinitesimal shape
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 20
- Last comment by adeelkh
- Last Active Jan 24th 2015

- Discussion Type
- discussion topicBohr compactification
- Category Latest Changes
- Started by Todd_Trimble
- Comments 1
- Last comment by Todd_Trimble
- Last Active Jan 23rd 2015

- Discussion Type
- discussion topicn-image
- Category Latest Changes
- Started by Urs
- Comments 30
- Last comment by Mike Shulman
- Last Active Jan 23rd 2015

- Discussion Type
- discussion topicuniversal property of the (infinity,n)-category of higher spans
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 30
- Last comment by adeelkh
- Last Active Jan 22nd 2015

- Discussion Type
- discussion topicinternal logic of an (oo,1)-topos
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Mike Shulman
- Last Active Jan 22nd 2015