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-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimit 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-geometry higher-lie-theory 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-algebras lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure measure-theory meta model model-category-theory monoidal monoidal-category monoidal-category-theory morphism motives motivic-cohomology n-groups 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 scheme 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 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 topicWhen is the internal real line the external real line?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 8
- Last comment by Mike Shulman
- Last Active 55 minutes ago

- Discussion Type
- discussion topicaxiomatic tangent structure of étale homotopy types
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 59
- Last comment by David_Corfield
- Last Active 1 hour ago

- Discussion Type
- discussion topicdiffeomorphism group
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 11 hours ago

- Discussion Type
- discussion topicconstructive/intuitionistic mathematics
- Category Latest Changes
- Started by Urs
- Comments 30
- Last comment by Urs
- Last Active 13 hours ago

- Discussion Type
- discussion topicHoTT FAQ
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 41
- Last comment by Mike Shulman
- Last Active 15 hours ago

- Discussion Type
- discussion topicpi-base
- Category Latest Changes
- Started by spitters
- Comments 1
- Last comment by spitters
- Last Active 1 day ago

- Discussion Type
- discussion topicreduced object
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicequivariant elliptic cohomology
- Category Latest Changes
- Started by Urs
- Comments 25
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicGood open covers and partitions of unity for PL-manifolds
- Category nLab General Discussions
- Started by Dmitri Pavlov
- Comments 3
- Last comment by Dmitri Pavlov
- Last Active 1 day ago

- Discussion Type
- discussion topicreflective subuniverse
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topic[[ZFC]]
- Category Latest Changes
- Started by TobyBartels
- Comments 9
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicChaitin's incompleteness theorem
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicAuthors page
- Category nLab Technical Matters
- Started by TobyBartels
- Comments 2
- Last comment by adeelkh
- Last Active 2 days ago

- Discussion Type
- discussion topicTitle only
- Category Latest Changes
- Started by Tim_Porter
- Comments 2
- Last comment by TobyBartels
- Last Active 2 days ago

- Discussion Type
- discussion topicsharp map
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Zhen Lin
- Last Active 2 days ago

- Discussion Type
- discussion topiccategory of fibrant objects
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicModulating map
- Category Mathematics, Physics & Philosophy
- Started by Tim_Porter
- Comments 8
- Last comment by Tim_Porter
- Last Active 3 days ago

- Discussion Type
- discussion topicquantization of 3d Chern-Simons theory
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topiccobordism hypothesis
- Category Latest Changes
- Started by Urs
- Comments 22
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicDeligne cohomology
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by adeelkh
- Last Active 5 days ago

- Discussion Type
- discussion topicdiffeomorphism
- Category Latest Changes
- Started by Urs
- Comments 22
- Last comment by Urs
- Last Active 6 days ago

- Discussion Type
- discussion topicGallozzi on weak Tarskian homotopy type universes
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Cesare_Gallozzi
- Last Active 7 days ago

- Discussion Type
- discussion topicdiffeomorphisms and homotopy equivalences sliced over BO(n)
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topicexternal tensor product and fully dualizable objects
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 49
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topicmodel structure on cubical sets
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by spitters
- Last Active Oct 22nd 2014

- Discussion Type
- discussion topiccd-structure
- Category Latest Changes
- Started by adeelkh
- Comments 6
- Last comment by adeelkh
- Last Active Oct 22nd 2014

- Discussion Type
- discussion topicVopenka's principle
- Category Latest Changes
- Started by Mike Shulman
- Comments 3
- Last comment by Zhen Lin
- Last Active Oct 21st 2014

- Discussion Type
- discussion topicobject A1 exhibiting cohesion
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active Oct 21st 2014

- Discussion Type
- discussion topicDelta^1-localization of simplicial spaces
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 7
- Last comment by Mike Shulman
- Last Active Oct 21st 2014

- Discussion Type
- discussion topicbroken redirect "types"
- Category nLab Technical Matters
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 20th 2014