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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting 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 schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal 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 topicC* algebraic deformation quantization
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 44 minutes ago

- Discussion Type
- discussion topic"Topological Quantum Gates in Homotopy Type Theory"
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active 1 hour ago

- Discussion Type
- discussion topicdeformation quantization
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 2 hours ago

- Discussion Type
- discussion topicformal deformation quantization
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Urs
- Last Active 2 hours ago

- Discussion Type
- discussion topicdeformation quantization of the 2-sphere
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 2 hours ago

- Discussion Type
- discussion topicextended geometric quantization of 2d Chern-Simons theory
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active 3 hours ago

- Discussion Type
- discussion topiccobordism hypothesis
- Category Latest Changes
- Started by Urs
- Comments 68
- Last comment by David_Corfield
- Last Active 1 day ago

- Discussion Type
- discussion topicminimal object
- Category Latest Changes
- Started by mattecapu
- Comments 8
- Last comment by mattecapu
- Last Active 1 day ago

- Discussion Type
- discussion topicsubcanonical coverage
- Category Latest Changes
- Started by ncfavier
- Comments 1
- Last comment by ncfavier
- Last Active 1 day ago

- Discussion Type
- discussion topictrivial algebra
- Category Latest Changes
- Started by Guest
- Comments 4
- Last comment by varkor
- Last Active 1 day ago

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

- Discussion Type
- discussion topicswampland cobordism conjecture -- references
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicNils Carqueville
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active 2 days ago

- Discussion Type
- discussion topicweight systems on chord diagrams in physics
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicsmooth infinity-groupoid
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by Tim_Porter
- Last Active 2 days ago

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

- Discussion Type
- discussion topicstring-net model
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topiccommutative monoidal category
- Category Latest Changes
- Started by nLab edit announcer
- Comments 18
- Last comment by varkor
- Last Active 2 days ago

- Discussion Type
- discussion topicamnestic functor
- Category Latest Changes
- Started by TobyBartels
- Comments 5
- Last comment by varkor
- Last Active 2 days ago

- Discussion Type
- discussion topicepistemic modal logic
- Category Latest Changes
- Started by nLab edit announcer
- Comments 13
- Last comment by David_Corfield
- Last Active 2 days ago

- Discussion Type
- discussion topictrivial monoid
- Category Latest Changes
- Started by Guest
- Comments 2
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicAlbrecht Dold
- Category Latest Changes
- Started by Thomas Holder
- Comments 2
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicalgebraic category
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 5
- Last comment by Guest
- Last Active 2 days ago

- Discussion Type
- discussion topicstrict terminal object
- Category Latest Changes
- Started by David_Corfield
- Comments 5
- Last comment by Guest
- Last Active 2 days ago

- Discussion Type
- discussion topicsieve
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Guest
- Last Active 2 days ago

- Discussion Type
- discussion topic(2|1)-dimensional Euclidean field theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicKolmogorov topological space
- Category Latest Changes
- Started by maxsnew
- Comments 0
- Last comment by Guest
- Last Active 2 days ago

- Discussion Type
- discussion topicpolynomial functor
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by DavidRoberts
- Last Active 3 days ago

- Discussion Type
- discussion topicKhovanov homology
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicNafaa Chbili
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicAwais Shaukat
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicChristian Blanchet
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicconfiguration space of points
- Category Latest Changes
- Started by Tim_Porter
- Comments 94
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicadjusted Weil algebra
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topiclogarithmic motivic homotopy theory
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 3 days ago

- Discussion Type
- discussion topicMartin-Löf dependent type theory
- Category Latest Changes
- Started by Zhen Lin
- Comments 38
- Last comment by David_Corfield
- Last Active 3 days ago

- Discussion Type
- discussion topiccomprehensive factorization system
- Category Latest Changes
- Started by Joshua Meyers
- Comments 18
- Last comment by varkor
- Last Active 3 days ago

- Discussion Type
- discussion topicmulti-adjoint
- Category Latest Changes
- Started by Mike Shulman
- Comments 19
- Last comment by varkor
- Last Active 3 days ago

- Discussion Type
- discussion topicmultimonad
- Category Latest Changes
- Started by varkor
- Comments 1
- Last comment by varkor
- Last Active 3 days ago

- Discussion Type
- discussion topicfinal (infinity,1)-functor
- Category Latest Changes
- Started by nLab edit announcer
- Comments 16
- Last comment by Marc Hoyois
- Last Active 3 days ago

- Discussion Type
- discussion topicmanifold-diagrammatic n-category
- Category Latest Changes
- Started by Christoph Dorn
- Comments 17
- Last comment by Christoph Dorn
- Last Active 3 days ago

- Discussion Type
- discussion topicVictor Maslov
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active 3 days ago

- Discussion Type
- discussion topicMaslov-Feynman calculus
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active 3 days ago

- Discussion Type
- discussion topicEugenio Landi
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topiclarge N limit
- Category Latest Changes
- Started by zskoda
- Comments 16
- Last comment by zskoda
- Last Active 3 days ago

- Discussion Type
- discussion topicString bordism
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicflavours of cobordism cohomology theories -- table
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topic2-representation
- Category Latest Changes
- Started by David_Corfield
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicstringor bundle
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicWhat is an elliptic object?
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topichomotopical algebraic quantum field theory
- Category Latest Changes
- Started by Urs
- Comments 18
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicIntroduction to Topology -- 2
- Category Latest Changes
- Started by nLab edit announcer
- Comments 9
- Last comment by nLab edit announcer
- Last Active 4 days ago

- Discussion Type
- discussion topicconcept with an attitude
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicMee Seong Im
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicnondeterministic automaton
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicmonad (in computer science)
- Category Latest Changes
- Started by Urs
- Comments 24
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicKleisli triple
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicNathan Geer
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicsuper Chern-Simons theory
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topichigher category theory
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Christoph Dorn
- Last Active 4 days ago