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 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 constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor galois-theory gauge-theory gebra geometric 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 nforum 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 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 topicL-infinity algebras in physics
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Sep 18th 2022

- Discussion Type
- discussion topicHoussam Abdul-Rahman
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 18th 2022

- Discussion Type
- discussion topicspin chain
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Sep 18th 2022

- Discussion Type
- discussion topicpregroupoid
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Sep 18th 2022

- Discussion Type
- discussion topicdifferential cohomology diagram
- Category Latest Changes
- Started by David_Corfield
- Comments 11
- Last comment by Urs
- Last Active Sep 18th 2022

- Discussion Type
- discussion topicAdS-CFT in condensed matter physics
- Category Latest Changes
- Started by Urs
- Comments 18
- Last comment by Urs
- Last Active Sep 18th 2022

- Discussion Type
- discussion topicgaunt category
- Category Latest Changes
- Started by Mike Shulman
- Comments 14
- Last comment by Urs
- Last Active Sep 18th 2022

- Discussion Type
- discussion topicflagged category
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by Guest
- Last Active Sep 18th 2022

- Discussion Type
- discussion topic1-topos
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Sep 18th 2022

- Discussion Type
- discussion topicatlas
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Sep 18th 2022

- Discussion Type
- discussion topiccategory with an atlas
- Category Latest Changes
- Started by nLab edit announcer
- Comments 18
- Last comment by Urs
- Last Active Sep 17th 2022

- Discussion Type
- discussion topicChern-Weil homomorphism -- references
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Sep 17th 2022

- Discussion Type
- discussion topicSaul Kripke
- Category Latest Changes
- Started by NikolajK
- Comments 1
- Last comment by NikolajK
- Last Active Sep 17th 2022

- Discussion Type
- discussion topicdependent linear type theory
- Category Latest Changes
- Started by Urs
- Comments 84
- Last comment by Urs
- Last Active Sep 17th 2022

- Discussion Type
- discussion topicShôrô Araki
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Sep 17th 2022

- Discussion Type
- discussion topicdifferential cohesive homotopy type theory
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by maxsnew
- Last Active Sep 17th 2022

- Discussion Type
- discussion topicMR cohomology theory
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Sep 17th 2022

- Discussion Type
- discussion topich-cobordism theorem
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 17th 2022

- Discussion Type
- discussion topiccategoricity
- Category Latest Changes
- Started by zskoda
- Comments 5
- Last comment by zskoda
- Last Active Sep 17th 2022

- Discussion Type
- discussion topicMichael Wiemeler
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 17th 2022

- Discussion Type
- discussion topicequivariant bordism homology theory
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Sep 17th 2022

- Discussion Type
- discussion topicmultisymplectic geometry
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by zskoda
- Last Active Sep 17th 2022

- Discussion Type
- discussion topicStone duality
- Category Latest Changes
- Started by TobyBartels
- Comments 23
- Last comment by zskoda
- Last Active Sep 17th 2022

- Discussion Type
- discussion topicIntroduction to Stable homotopy theory -- 1-2
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Sep 16th 2022

- Discussion Type
- discussion topicGregory Moore
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 16th 2022

- Discussion Type
- discussion topicGieseker stability
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 16th 2022

- Discussion Type
- discussion topicquantum supremacy
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Sep 16th 2022

- Discussion Type
- discussion topictopologically twisted D=4 super Yang-Mills theory
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Sep 16th 2022

- Discussion Type
- discussion topicextended topological quantum field theory
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Sep 16th 2022

- Discussion Type
- discussion topicJames Clerk Maxwell
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Sep 16th 2022

- Discussion Type
- discussion topicequivariant
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by David_Corfield
- Last Active Sep 16th 2022

- Discussion Type
- discussion topicCenter for Quantum and Topological Systems
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by Urs
- Last Active Sep 16th 2022

- Discussion Type
- discussion topicregular category
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by maxsnew
- Last Active Sep 15th 2022

- Discussion Type
- discussion topictwisted K-theory
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Sep 15th 2022

- Discussion Type
- discussion topicYoung diagram
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Keith Harbaugh
- Last Active Sep 15th 2022

- Discussion Type
- discussion topicquantum teleportation
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by Urs
- Last Active Sep 15th 2022

- Discussion Type
- discussion topictopological quantum computation with anyons -- references
- Category Latest Changes
- Started by Urs
- Comments 23
- Last comment by Urs
- Last Active Sep 15th 2022

- Discussion Type
- discussion topicCalabi-Yau category
- Category Latest Changes
- Started by Urs
- Comments 25
- Last comment by zskoda
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicquiver variety
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by zskoda
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicGinzburg dg-algebra
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 14th 2022

- Discussion Type
- discussion topiccluster variety
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 14th 2022

- Discussion Type
- discussion topictesting a mock-up of the migrated installation
- Category nLab Technical Matters
- Started by Urs
- Comments 26
- Last comment by Christian Sattler
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicdilogarithm
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicquiver with potential
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Sep 14th 2022

- Discussion Type
- discussion topiclocalization of an enriched category
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicenriched sheaf
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicForum spam
- Category n-Forum
- Started by Andrew Stacey
- Comments 89
- Last comment by Guest
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicMilnor algebra
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicJacobian algebra
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicFreyd-Mitchell embedding theorem
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by varkor
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicBugs and feature requests
- Category nLab Technical Matters
- Started by David_Corfield
- Comments 165
- Last comment by varkor
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicGabriel-Popescu theorem
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by varkor
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicGrothendieck category
- Category Latest Changes
- Started by zskoda
- Comments 15
- Last comment by varkor
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicprogramming language
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by williamjameschar
- Last Active Sep 14th 2022

- Discussion Type
- discussion topicvertical transformation
- Category Latest Changes
- Started by mattecapu
- Comments 2
- Last comment by mattecapu
- Last Active Sep 13th 2022

- Discussion Type
- discussion topicdisplayed category
- Category Latest Changes
- Started by Mike Shulman
- Comments 5
- Last comment by mattecapu
- Last Active Sep 13th 2022

- Discussion Type
- discussion topicnominal set
- Category Latest Changes
- Started by Richard Williamson
- Comments 2
- Last comment by maxsnew
- Last Active Sep 13th 2022

- Discussion Type
- discussion topicSchanuel topos
- Category Latest Changes
- Started by Thomas Holder
- Comments 13
- Last comment by maxsnew
- Last Active Sep 13th 2022

- Discussion Type
- discussion topicConduché functor
- Category Latest Changes
- Started by John Baez
- Comments 1
- Last comment by John Baez
- Last Active Sep 13th 2022

- Discussion Type
- discussion topicSO(10)
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Sep 13th 2022