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 book bundle bundles categories category category-theory chern-simons-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology cohomolohy combinatorics complex complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology deformation-theory 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 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 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 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 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 tannaka terminology theory topology topos topos-theory torsor tqft type 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 topicdifferential cohesion and idelic structure
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active 9 hours ago

- Discussion Type
- discussion topicBorger's absolute geometry
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by spitters
- Last Active 10 hours ago

- Discussion Type
- discussion topicordinal subdivision
- Category Latest Changes
- Started by Tim_Porter
- Comments 4
- Last comment by Todd_Trimble
- Last Active 13 hours ago

- Discussion Type
- discussion topicEmpty pages
- Category nLab Organisation
- Started by TobyBartels
- Comments 3
- Last comment by TobyBartels
- Last Active 13 hours ago

- Discussion Type
- discussion topiclax morphism classifier
- Category Latest Changes
- Started by Tim_Porter
- Comments 2
- Last comment by TobyBartels
- Last Active 14 hours ago

- Discussion Type
- discussion topicLie algebra
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Todd_Trimble
- Last Active 22 hours ago

- Discussion Type
- discussion topicTall-Wraith monoid
- Category Mathematics, Physics & Philosophy
- Started by Todd_Trimble
- Comments 8
- Last comment by David_Corfield
- Last Active 23 hours ago

- Discussion Type
- discussion topicfracture theorem
- Category Latest Changes
- Started by Urs
- Comments 22
- Last comment by David_Corfield
- Last Active 1 day ago

- Discussion Type
- discussion topicETCC/ET2CC
- Category Latest Changes
- Started by Thomas Holder
- Comments 10
- Last comment by Thomas Holder
- Last Active 1 day ago

- Discussion Type
- discussion topicfunction field analogy
- Category Latest Changes
- Started by Urs
- Comments 53
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicelegant Reedy category
- Category Latest Changes
- Started by Mike Shulman
- Comments 6
- Last comment by Mike Shulman
- Last Active 2 days ago

- Discussion Type
- discussion topicLawvere's definition of adjoint functors
- Category Latest Changes
- Started by Colin Zwanziger
- Comments 10
- Last comment by Mike Shulman
- Last Active 2 days ago

- Discussion Type
- discussion topicWeil uniformization theorem
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicNew inclusion table: generalized uniform structures
- Category Latest Changes
- Started by TobyBartels
- Comments 2
- Last comment by TobyBartels
- Last Active 3 days ago

- Discussion Type
- discussion topicsuperextensive site
- Category Latest Changes
- Started by Mike Shulman
- Comments 5
- Last comment by Mike Shulman
- Last Active 3 days ago

- Discussion Type
- discussion topicWeil conjecture on Tamagawa numbers
- Category Latest Changes
- Started by Urs
- Comments 26
- Last comment by DavidRoberts
- Last Active 4 days ago

- Discussion Type
- discussion topicmodel structure on sSet-categories
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicBousfield localization of spectra
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicRan space
- Category Latest Changes
- Started by DavidRoberts
- Comments 2
- Last comment by DavidRoberts
- Last Active 5 days ago

- Discussion Type
- discussion topicmod p Whitehead theorem
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicp-adic geometry, homotopy, cohomology, physics
- Category Latest Changes
- Started by Urs
- Comments 18
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicnilpotent homotopy type
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicadeles and ideles
- Category Latest Changes
- Started by Urs
- Comments 26
- Last comment by Todd_Trimble
- Last Active 5 days ago

- Discussion Type
- discussion topicp-localization
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicintermediate model structure
- Category Latest Changes
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active 6 days ago

- Discussion Type
- discussion topicLab slow
- Category Lab Elf News
- Started by Tim_Porter
- Comments 8
- Last comment by adeelkh
- Last Active 6 days ago

- Discussion Type
- discussion topicLaurent Lafforgue
- Category Latest Changes
- Started by Tim_Porter
- Comments 6
- Last comment by Tim_Porter
- Last Active 6 days ago

- Discussion Type
- discussion topicprincipal ideal domain
- Category Latest Changes
- Started by Todd_Trimble
- Comments 9
- Last comment by TobyBartels
- Last Active 6 days ago

- Discussion Type
- discussion topicWitt vectors
- Category Latest Changes
- Started by hilbertthm90
- Comments 17
- Last comment by David_Corfield
- Last Active 6 days ago

- Discussion Type
- discussion topicarithmetic jet space
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active 6 days ago