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-type-theory cohomology colimits combinatorics 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 foundations functional-analysis functor galois-theory 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 internal-categories k-theory lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number 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 topicdouble bicategory
- Category Latest Changes
- Started by John Baez
- Comments 6
- Last comment by Tim_Porter
- Last Active 51 minutes ago

- Discussion Type
- discussion topicnLab database backups
- Category nLab Technical Matters
- Started by Richard Williamson
- Comments 39
- Last comment by Guest
- Last Active 1 hour ago

- Discussion Type
- discussion topicUnification and Anti-Unification in HoTT.
- Category Mathematics, Physics & Philosophy
- Started by Nima
- Comments 1
- Last comment by Nima
- Last Active 10 hours ago

- Discussion Type
- discussion topicOn the relation between superalgebra/supergeometry and the sphere spectrum
- Category nLab General Discussions
- Started by Théo de Oliveira S.
- Comments 29
- Last comment by Marc Hoyois
- Last Active 11 hours ago

- Discussion Type
- discussion topicseparation axioms in terms of lifting properties
- Category Latest Changes
- Started by Urs
- Comments 24
- Last comment by Urs
- Last Active 11 hours ago

- Discussion Type
- discussion topicrepresentable 2-category
- Category Latest Changes
- Started by varkor
- Comments 4
- Last comment by varkor
- Last Active 12 hours ago

- Discussion Type
- discussion topichomotopy theory and algebraic topology -- references
- Category Latest Changes
- Started by Urs
- Comments 16
- Last comment by Urs
- Last Active 15 hours ago

- Discussion Type
- discussion topicBrown representability theorem
- Category Latest Changes
- Started by Mike Shulman
- Comments 14
- Last comment by Urs
- Last Active 15 hours ago

- Discussion Type
- discussion topicfundamental theorem of dg-algebraic rational homotopy theory
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active 15 hours ago

- Discussion Type
- discussion topicJohn Stillwell
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 21 hours ago

- Discussion Type
- discussion topicAnalysis Situs
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 21 hours ago

- Discussion Type
- discussion topicGeneralized Cohomology and Physics conference
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 6
- Last comment by David_Corfield
- Last Active 1 day ago

- Discussion Type
- discussion topicidempotent monoid in a monoidal category
- Category Latest Changes
- Started by Théo de Oliveira S.
- Comments 9
- Last comment by Théo de Oliveira S.
- Last Active 1 day ago

- Discussion Type
- discussion topicSamson Abramsky
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active 1 day ago

- Discussion Type
- discussion topicsimplicial complex
- Category Latest Changes
- Started by Todd_Trimble
- Comments 37
- Last comment by David_Corfield
- Last Active 1 day ago

- Discussion Type
- discussion topicStandard Conjectures on Algebraic Cycles
- Category Latest Changes
- Started by Mateo Carmona
- Comments 1
- Last comment by Mateo Carmona
- Last Active 1 day ago

- Discussion Type
- discussion topicdomain specific embedded programming language
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by nLab edit announcer
- Last Active 1 day ago

- Discussion Type
- discussion topicSL(2,H)
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicSpam and crackpots in nCafe
- Category nLab General Discussions
- Started by RodMcGuire
- Comments 54
- Last comment by Tim_Porter
- Last Active 2 days ago

- Discussion Type
- discussion topicLie group
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Corbin
- Last Active 2 days ago

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

- Discussion Type
- discussion topicseparation axioms
- Category Latest Changes
- Started by maxsnew
- Comments 6
- Last comment by nLab edit announcer
- Last Active 2 days ago

- Discussion Type
- discussion topicspectral super-scheme
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicperiodic table
- Category Latest Changes
- Started by John Baez
- Comments 4
- Last comment by Richard Williamson
- Last Active 2 days ago

- Discussion Type
- discussion topicreal homotopy theory
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicHandbook of Algebraic Topology
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicBorel-equivariant rational homotopy theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

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

- Discussion Type
- discussion topiclocally compact topological space
- Category Latest Changes
- Started by Urs
- Comments 64
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topiccompactly generated topological space
- Category Latest Changes
- Started by Todd_Trimble
- Comments 77
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topiccore of a ring
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topiceven cohomology theory
- Category Latest Changes
- Started by David_Corfield
- Comments 4
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicRobert H. Szczarba
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicstrong monad
- Category Latest Changes
- Started by Sam Staton
- Comments 21
- Last comment by mattecapu
- Last Active 3 days ago

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

- Discussion Type
- discussion topicRenzo A. Piccinini
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicregular space
- Category Latest Changes
- Started by Mike Shulman
- Comments 12
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicshape via cohesive path ∞-groupoid
- Category Latest Changes
- Started by Urs
- Comments 40
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicslice theorem
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topictopological G-space
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicK-orientation
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicclassifying space
- Category Latest Changes
- Started by Urs
- Comments 39
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicBorel construction
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicfive lemma
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topichomological category
- Category Latest Changes
- Started by zskoda
- Comments 7
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicregular category
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicprotomodular category
- Category Latest Changes
- Started by David_Corfield
- Comments 4
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicMalcev category
- Category Latest Changes
- Started by Keith Harbaugh
- Comments 6
- Last comment by Urs
- Last Active 4 days ago

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

- Discussion Type
- discussion topicMalcev, protomodular, homological and semi-abelian categories
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topichomotopy theory
- Category Latest Changes
- Started by Tim_Porter
- Comments 46
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicSabrina Pasterski
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicflat space holography
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicDaniel Grumiller
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicequality
- Category Latest Changes
- Started by Urs
- Comments 43
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicalgebraic topology
- Category Latest Changes
- Started by Urs
- Comments 23
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicCarlos Prieto
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicMarcelo Aguilar
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicJeffrey Strom
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicMonoidal Functors, Species and Hopf Algebras
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 5 days ago