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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory 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 homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory 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 stack 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 topicsymmetric monoidal category
- Category Latest Changes
- Started by Urs
- Comments 41
- Last comment by nLab edit announcer
- Last Active Jul 31st 2023

- Discussion Type
- discussion topicHugh Everett III
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 30th 2023

- Discussion Type
- discussion topicp-adic local Langlands correspondence
- Category Latest Changes
- Started by Anton Hilado
- Comments 5
- Last comment by Anton Hilado
- Last Active Jul 30th 2023

- Discussion Type
- discussion topicSimon Saunders
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicGelfand-Kolmogorov theorem
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Dmitri Pavlov
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicAlastair Wilson
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 29th 2023

- Discussion Type
- discussion topiclocalization of a commutative ring
- Category Latest Changes
- Started by Richard Williamson
- Comments 3
- Last comment by jesuslop
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicNeill Graham
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicJocelyn Quaintance
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicdifferential geometry
- Category Latest Changes
- Started by Urs
- Comments 28
- Last comment by Urs
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicsymmetric algebra
- Category Latest Changes
- Started by J-B Vienney
- Comments 8
- Last comment by Urs
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicfinal pullback complement
- Category Latest Changes
- Started by jonsterling
- Comments 1
- Last comment by jonsterling
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicSatoshi Kobayashi
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicflat module
- Category Latest Changes
- Started by Andrew Stacey
- Comments 44
- Last comment by nLab edit announcer
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicPatrick Iglesias-Zemmour
- Category Latest Changes
- Started by nLab edit announcer
- Comments 28
- Last comment by nLab edit announcer
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicprismatization
- Category Latest Changes
- Started by Anton Hilado
- Comments 8
- Last comment by Anton Hilado
- Last Active Jul 29th 2023

- Discussion Type
- discussion topicgraded monoid
- Category Latest Changes
- Started by nLab edit announcer
- Comments 12
- Last comment by Mike Shulman
- Last Active Jul 28th 2023

- Discussion Type
- discussion topicprincipal infinity-bundle
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by zskoda
- Last Active Jul 28th 2023

- Discussion Type
- discussion topicicon
- Category Latest Changes
- Started by Peter Heinig
- Comments 7
- Last comment by varkor
- Last Active Jul 28th 2023

- Discussion Type
- discussion topicexponential object
- Category Latest Changes
- Started by Urs
- Comments 31
- Last comment by jonsterling
- Last Active Jul 28th 2023

- Discussion Type
- discussion topicK modal logic
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by nLab edit announcer
- Last Active Jul 28th 2023

- Discussion Type
- discussion topicextended natural numbers object
- Category Latest Changes
- Started by Madeleine Birchfield
- Comments 3
- Last comment by DavidRoberts
- Last Active Jul 28th 2023

- Discussion Type
- discussion topichomogeneous polynomial
- Category Latest Changes
- Started by J-B Vienney
- Comments 6
- Last comment by J-B Vienney
- Last Active Jul 28th 2023

- Discussion Type
- discussion topicdegree of a polynomial
- Category Latest Changes
- Started by nLab edit announcer
- Comments 17
- Last comment by Todd_Trimble
- Last Active Jul 28th 2023

- Discussion Type
- discussion topicDov Samet
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 27th 2023

- Discussion Type
- discussion topicalgebraic geometry
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Dmitri Pavlov
- Last Active Jul 27th 2023

- Discussion Type
- discussion topictransgression of bundle gerbes
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 27th 2023

- Discussion Type
- discussion topicbundle gerbe
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by nLab edit announcer
- Last Active Jul 27th 2023

- Discussion Type
- discussion topicWess-Zumino-Witten model
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by nLab edit announcer
- Last Active Jul 27th 2023

- Discussion Type
- discussion topicKK principle
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Jul 27th 2023

- Discussion Type
- discussion topicdisjoint coproduct
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Mike Shulman
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicYoram Moses
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicJoseph Y. Halpern
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicS5 modal logic as epistemic logic -- references
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicTambara module
- Category Latest Changes
- Started by David_Corfield
- Comments 8
- Last comment by varkor
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicconstant of a theory
- Category Latest Changes
- Started by Todd_Trimble
- Comments 2
- Last comment by Todd_Trimble
- Last Active Jul 26th 2023

- Discussion Type
- discussion topiccommutative monoidal category
- Category Latest Changes
- Started by nLab edit announcer
- Comments 19
- Last comment by nLab edit announcer
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicaxiom K (modal logic)
- Category Latest Changes
- Started by David_Corfield
- Comments 2
- Last comment by nLab edit announcer
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicK. Jaakko J. Hintikka
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicGeorg H. von Wright
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicepistemic modal logic
- Category Latest Changes
- Started by nLab edit announcer
- Comments 14
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicS4 modal logic
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicCooper H. Langford
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicK-homology
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 4
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicmodal logic
- Category Latest Changes
- Started by Tim_Porter
- Comments 90
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicAnthony Houppe
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicBogdan Ganchev
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicquantum logic
- Category Latest Changes
- Started by Urs
- Comments 49
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicspinning particle
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicM5-brane
- Category Latest Changes
- Started by Urs
- Comments 23
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicAdS-QCD correspondence
- Category Latest Changes
- Started by Urs
- Comments 87
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicStefano Giusto
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicD1-D5 brane bound state
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jul 26th 2023

- Discussion Type
- discussion topicmonoidally cocomplete category
- Category Latest Changes
- Started by Todd_Trimble
- Comments 3
- Last comment by varkor
- Last Active Jul 25th 2023

- Discussion Type
- discussion topicIntroduction to Stable Homotopy Theory
- Category Latest Changes
- Started by jesuslop
- Comments 5
- Last comment by Urs
- Last Active Jul 25th 2023

- Discussion Type
- discussion topicBhargav Bhatt
- Category Latest Changes
- Started by RodMcGuire
- Comments 4
- Last comment by Urs
- Last Active Jul 25th 2023

- Discussion Type
- discussion topicfuzzy logic
- Category Latest Changes
- Started by nLab edit announcer
- Comments 9
- Last comment by Todd_Trimble
- Last Active Jul 25th 2023

- Discussion Type
- discussion topicLocal homotopy theory
- Category Latest Changes
- Started by DavidRoberts
- Comments 2
- Last comment by Urs
- Last Active Jul 25th 2023

- Discussion Type
- discussion topiclocally finite type
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 25th 2023

- Discussion Type
- discussion topicfinitely presented module
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by nLab edit announcer
- Last Active Jul 25th 2023