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 finite 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 sheaves 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 topicknot
- Category Latest Changes
- Started by zskoda
- Comments 9
- Last comment by Urs
- Last Active Aug 16th 2024

- Discussion Type
- discussion topicslice knot
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Aug 16th 2024

- Discussion Type
- discussion topicdouble negation
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Urs
- Last Active Aug 16th 2024

- Discussion Type
- discussion topicYang-Mills theory
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Urs
- Last Active Aug 16th 2024

- Discussion Type
- discussion topiccartesian monoidal category
- Category Latest Changes
- Started by David_Corfield
- Comments 9
- Last comment by varkor
- Last Active Aug 16th 2024

- Discussion Type
- discussion topicAQFT
- Category Latest Changes
- Started by zskoda
- Comments 23
- Last comment by Urs
- Last Active Aug 16th 2024

- Discussion Type
- discussion topicSidney D. Drell
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Aug 16th 2024

- Discussion Type
- discussion topicperturbative quantum field theory
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by Urs
- Last Active Aug 16th 2024

- Discussion Type
- discussion topicdual number
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Aug 15th 2024

- Discussion Type
- discussion topiccompact closed category
- Category Latest Changes
- Started by Noam_Zeilberger
- Comments 15
- Last comment by John Baez
- Last Active Aug 15th 2024

- Discussion Type
- discussion topicSeverin Bunk
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by nLab edit announcer
- Last Active Aug 15th 2024

- Discussion Type
- discussion topicdualizable object
- Category Latest Changes
- Started by Urs
- Comments 35
- Last comment by John Baez
- Last Active Aug 15th 2024

- Discussion Type
- discussion topicgroup object
- Category Latest Changes
- Started by Urs
- Comments 16
- Last comment by John Baez
- Last Active Aug 14th 2024

- Discussion Type
- discussion topicextension (double category theory)
- Category Latest Changes
- Started by mattecapu
- Comments 1
- Last comment by mattecapu
- Last Active Aug 14th 2024

- Discussion Type
- discussion topicrestriction (double category theory)
- Category Latest Changes
- Started by mattecapu
- Comments 1
- Last comment by mattecapu
- Last Active Aug 14th 2024

- Discussion Type
- discussion topictight and loose morphisms
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by mattecapu
- Last Active Aug 14th 2024

- Discussion Type
- discussion topicconjunction
- Category Latest Changes
- Started by mattecapu
- Comments 2
- Last comment by mattecapu
- Last Active Aug 14th 2024

- Discussion Type
- discussion topicdescent morphism
- Category Latest Changes
- Started by Mike Shulman
- Comments 33
- Last comment by DavidRoberts
- Last Active Aug 14th 2024

- Discussion Type
- discussion topicManuela Sobral
- Category Latest Changes
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active Aug 14th 2024

- Discussion Type
- discussion topicsemantics
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Aug 10th 2024

- Discussion Type
- discussion topicmodel
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by nLab edit announcer
- Last Active Aug 10th 2024

- Discussion Type
- discussion topicisomorphism in a Segal type
- Category Latest Changes
- Started by Guest
- Comments 3
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topiccohesive homotopy type theory
- Category Latest Changes
- Started by Urs
- Comments 38
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicRezk type
- Category Latest Changes
- Started by Guest
- Comments 3
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicbounded total order
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicop modality
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topichom type
- Category Latest Changes
- Started by Guest
- Comments 2
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicparametric dependent type theory
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicUlrik Buchholtz
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicJonathan Weinberger
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicDaniel Gratzer
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicdirected univalence axiom
- Category Latest Changes
- Started by Guest
- Comments 2
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicsimplicial type theory
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topiccoCartesian fibration of (∞,1)-operads
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicspin-statistics theorem
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by Urs
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicGiry monad
- Category Latest Changes
- Started by zskoda
- Comments 74
- Last comment by nLab edit announcer
- Last Active Aug 9th 2024

- Discussion Type
- discussion topicexponentiable functor
- Category Latest Changes
- Started by John Baez
- Comments 12
- Last comment by SiyaM
- Last Active Aug 9th 2024

- Discussion Type
- discussion topic2-category
- Category Latest Changes
- Started by Urs
- Comments 34
- Last comment by varkor
- Last Active Aug 8th 2024

- Discussion Type
- discussion topicWe have ToE at home
- Category Mathematics, Physics & Philosophy
- Started by nos
- Comments 1
- Last comment by nos
- Last Active Aug 8th 2024

- Discussion Type
- discussion topicrelative adjoint functor
- Category Latest Changes
- Started by Peter Heinig
- Comments 5
- Last comment by RodMcGuire
- Last Active Aug 6th 2024

- Discussion Type
- discussion topicdouble category of algebras
- Category Latest Changes
- Started by Mike Shulman
- Comments 4
- Last comment by varkor
- Last Active Aug 6th 2024

- Discussion Type
- discussion topiccohomotopy
- Category Latest Changes
- Started by Urs
- Comments 45
- Last comment by perezl.alonso
- Last Active Aug 6th 2024

- Discussion Type
- discussion topicfibration of quasi-categories
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by Hurkyl
- Last Active Aug 6th 2024

- Discussion Type
- discussion topicspherical function
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Aug 6th 2024

- Discussion Type
- discussion topicmapping class group
- Category Latest Changes
- Started by perezl.alonso
- Comments 1
- Last comment by perezl.alonso
- Last Active Aug 6th 2024

- Discussion Type
- discussion topicspatial locale
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 17
- Last comment by Dmitri Pavlov
- Last Active Aug 5th 2024

- Discussion Type
- discussion topicsemidirect product group
- Category Latest Changes
- Started by nLab edit announcer
- Comments 11
- Last comment by nLab edit announcer
- Last Active Aug 5th 2024

- Discussion Type
- discussion topicinequality space
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by nLab edit announcer
- Last Active Aug 5th 2024

- Discussion Type
- discussion topicmodular theory
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Tom Mainiero
- Last Active Aug 5th 2024

- Discussion Type
- discussion topicenveloping von Neumann algebra
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by Tom Mainiero
- Last Active Aug 4th 2024

- Discussion Type
- discussion topicprealgebra real number
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active Aug 4th 2024

- Discussion Type
- discussion topicepimorphism
- Category Latest Changes
- Started by Urs
- Comments 16
- Last comment by nLab edit announcer
- Last Active Aug 4th 2024

- Discussion Type
- discussion topicSurj
- Category Latest Changes
- Started by David_Corfield
- Comments 8
- Last comment by varkor
- Last Active Aug 4th 2024

- Discussion Type
- discussion topicDirac manifold
- Category Latest Changes
- Started by perezl.alonso
- Comments 1
- Last comment by perezl.alonso
- Last Active Aug 4th 2024

- Discussion Type
- discussion topica recent preprint on operations with restricted arities
- Category Mathematics, Physics & Philosophy
- Started by Karol Szumiło
- Comments 4
- Last comment by Karol Szumiło
- Last Active Aug 3rd 2024

- Discussion Type
- discussion topicconformal invariance and scale invariance
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by zskoda
- Last Active Aug 3rd 2024

- Discussion Type
- discussion topicdistributivity pullback
- Category Latest Changes
- Started by Mike Shulman
- Comments 7
- Last comment by varkor
- Last Active Aug 3rd 2024

- Discussion Type
- discussion topicD-brane
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by perezl.alonso
- Last Active Aug 3rd 2024

- Discussion Type
- discussion topicfactorization algebra
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by zskoda
- Last Active Aug 2nd 2024

- Discussion Type
- discussion topicfull image
- Category Latest Changes
- Started by varkor
- Comments 3
- Last comment by J-B Vienney
- Last Active Aug 2nd 2024