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-geoemtry higher-geometry higher-topos-theory 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 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 tannaka terminology theory topology topos topos-theory 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 topicAufhebung
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by Urs
- Last Active 17 minutes ago

- Discussion Type
- discussion topicEntropy
- Category Latest Changes
- Started by TobyBartels
- Comments 41
- Last comment by zskoda
- Last Active 2 hours ago

- Discussion Type
- discussion topicaxiomatic tangent structure of étale homotopy types
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 87
- Last comment by Urs
- Last Active 3 hours ago

- Discussion Type
- discussion topichigher Penrose-Ward transform in cohesive homotopy theory
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 31
- Last comment by Mike Shulman
- Last Active 4 hours ago

- Discussion Type
- discussion topicIncompleteness theorem
- Category nLab General Discussions
- Started by DavidRoberts
- Comments 4
- Last comment by Todd_Trimble
- Last Active 7 hours ago

- Discussion Type
- discussion topicduality in physics
- Category Latest Changes
- Started by Urs
- Comments 34
- Last comment by Urs
- Last Active 10 hours ago

- Discussion Type
- discussion topicsyntactic category
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by DavidRoberts
- Last Active 22 hours ago

- Discussion Type
- discussion topicETCS again
- Category Latest Changes
- Started by Thomas Holder
- Comments 12
- Last comment by Urs
- Last Active 23 hours ago

- Discussion Type
- discussion topicK-theory of a symmetric monoidal infinity-category
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicessentially algebraic (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Todd_Trimble
- Last Active 1 day ago

- Discussion Type
- discussion topicSpin geometry
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicfiber integration in K-theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topictwisted K-theory
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicgraded commutator
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicAtiyah-Bott-Shapiro isomorphism
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicSchur orthogonality relation
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicskeletons of smooth groupoids
- Category Mathematics, Physics & Philosophy
- Started by John Dougherty
- Comments 9
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicfiberwise coreflections
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 6
- Last comment by Mike Shulman
- Last Active 2 days ago

- Discussion Type
- discussion topiclocalization of model categories
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active 3 days ago

- Discussion Type
- discussion topicBousfield localization diagram
- Category Diagrams
- Started by Tim_Porter
- Comments 2
- Last comment by Tim_Porter
- Last Active 4 days ago

- Discussion Type
- discussion topicinfinity-stack valued in an arbitrary infinity-category
- Category nLab General Discussions
- Started by adeelkh
- Comments 15
- Last comment by Marc Hoyois
- Last Active 5 days ago

- Discussion Type
- discussion topicSpin group
- Category Latest Changes
- Started by Guest
- Comments 3
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicgerm of a space
- Category Latest Changes
- Started by IngoBlechschmidt
- Comments 2
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicsynthetic differential geometry applied to algebraic geometry
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicFrobenius algebra
- Category Latest Changes
- Started by John Baez
- Comments 23
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicZariski site
- Category Latest Changes
- Started by Todd_Trimble
- Comments 2
- Last comment by IngoBlechschmidt
- Last Active 5 days ago

- Discussion Type
- discussion topiceffective epimorphism in an (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by adeelkh
- Last Active 5 days ago

- Discussion Type
- discussion topicAgainst (the Hamiltonian) method
- Category Mathematics, Physics & Philosophy
- Started by igor
- Comments 5
- Last comment by igor
- Last Active 5 days ago

- Discussion Type
- discussion topicHoTT FAQ
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 71
- Last comment by Mike Shulman
- Last Active 5 days ago

- Discussion Type
- discussion topictraced monoidal category
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active 5 days ago