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 homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory 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 stack string string-theory subobject 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 topicdomain
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by zskoda
- Last Active 2 hours ago

- Discussion Type
- discussion topicClaudio Carmeli
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by zskoda
- Last Active 3 hours ago

- Discussion Type
- discussion topicNicola Ciccoli
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active 6 hours ago

- Discussion Type
- discussion topicRobert Steinberg
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active 7 hours ago

- Discussion Type
- discussion topicFabio Gavarini
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active 7 hours ago

- Discussion Type
- discussion topicnetworks of category theorists
- Category Latest Changes
- Started by Fosco
- Comments 15
- Last comment by nLab edit announcer
- Last Active 10 hours ago

- Discussion Type
- discussion topicG-symmetric monoidal envelope
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 14 hours ago

- Discussion Type
- discussion topiccartesian G-symmetric monoidal ∞-category
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 14 hours ago

- Discussion Type
- discussion topicreflective localization
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by jesuslop
- Last Active 22 hours ago

- Discussion Type
- discussion topichigher Segal space
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by perezl.alonso
- Last Active 1 day ago

- Discussion Type
- discussion topicgroup-completed configuration space of points
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicsplit reductive group
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 1 day ago

- Discussion Type
- discussion topicgeometrically connected scheme
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active 1 day ago

- Discussion Type
- discussion topicmathematicscontents gone?
- Category nLab
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topiccategory theory
- Category Latest Changes
- Started by Eric
- Comments 86
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicThomas Hunter
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by nLab edit announcer
- Last Active 1 day ago

- Discussion Type
- discussion topiccocartesian monoidal (infinity,1)-category
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 1 day ago

- Discussion Type
- discussion topicfiltered probability space
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active 1 day ago

- Discussion Type
- discussion topicmartingale
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active 2 days ago

- Discussion Type
- discussion topicshift
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active 2 days ago

- Discussion Type
- discussion topictail event
- Category Latest Changes
- Started by PaoloPerrone
- Comments 2
- Last comment by PaoloPerrone
- Last Active 2 days ago

- Discussion Type
- discussion topicSandbox
- Category Latest Changes
- Started by Andrew Stacey
- Comments 5
- Last comment by Daniel Geisler
- Last Active 2 days ago

- Discussion Type
- discussion topicNicolae Popescu
- Category Latest Changes
- Started by RodMcGuire
- Comments 1
- Last comment by RodMcGuire
- Last Active 2 days ago

- Discussion Type
- discussion topicadditive and abelian categories
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by ncfavier
- Last Active 2 days ago

- Discussion Type
- discussion topicnon-canonical isomorphism
- Category Latest Changes
- Started by Mike Shulman
- Comments 2
- Last comment by ncfavier
- Last Active 2 days ago

- Discussion Type
- discussion topicJin-Cheng Guu
- Category Latest Changes
- Started by jin
- Comments 2
- Last comment by jin
- Last Active 3 days ago

- Discussion Type
- discussion topicconformal field theory
- Category Latest Changes
- Started by Tim_van_Beek
- Comments 43
- Last comment by jin
- Last Active 3 days ago

- Discussion Type
- discussion topicDrinfel'd double
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by zskoda
- Last Active 3 days ago

- Discussion Type
- discussion topicLawvere theory
- Category Latest Changes
- Started by Urs
- Comments 55
- Last comment by varkor
- Last Active 3 days ago

- Discussion Type
- discussion topicLawvere interval
- Category Latest Changes
- Started by jonsterling
- Comments 18
- Last comment by Hurkyl
- Last Active 3 days ago

- Discussion Type
- discussion topicTitle convention
- Category nLab General Discussions
- Started by Samuel Adrian Antz
- Comments 17
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicKenneth Brown
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by Dmitri Pavlov
- Last Active 4 days ago

- Discussion Type
- discussion topicmonad
- Category Latest Changes
- Started by Urs
- Comments 102
- Last comment by zskoda
- Last Active 4 days ago

- Discussion Type
- discussion topiclifting a function
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by nLab edit announcer
- Last Active 4 days ago

- Discussion Type
- discussion topicfinal functor
- Category Latest Changes
- Started by Tom Hirschowitz
- Comments 20
- Last comment by varkor
- Last Active 4 days ago

- Discussion Type
- discussion topicWu manifold
- Category Latest Changes
- Started by Samuel Adrian Antz
- Comments 5
- Last comment by Samuel Adrian Antz
- Last Active 4 days ago

- Discussion Type
- discussion topicmonoidal category
- Category Latest Changes
- Started by Urs
- Comments 110
- Last comment by John Baez
- Last Active 4 days ago

- Discussion Type
- discussion topicenhanced factorisation system
- Category Latest Changes
- Started by varkor
- Comments 6
- Last comment by varkor
- Last Active 4 days ago

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

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

- Discussion Type
- discussion topicPo-Hsiang Chu
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by nLab edit announcer
- Last Active 4 days ago

- Discussion Type
- discussion topicgroup completion of configuration spaces of points
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 30
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicpost-Lie algebra
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active 4 days ago

- Discussion Type
- discussion topicViviane Pons
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 4 days ago

- Discussion Type
- discussion topicassociahedron
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by nLab edit announcer
- Last Active 4 days ago

- Discussion Type
- discussion topicpermutahedron
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 4 days ago

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

- Discussion Type
- discussion topicframed link
- Category Latest Changes
- Started by Todd_Trimble
- Comments 3
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicHenri Lombardi
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by nLab edit announcer
- Last Active 5 days ago

- Discussion Type
- discussion topicAssia Mahboubi
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active 5 days ago

- Discussion Type
- discussion topicprinciple of omniscience
- Category Latest Changes
- Started by Mike Shulman
- Comments 18
- Last comment by nLab edit announcer
- Last Active 5 days ago

- Discussion Type
- discussion topicbar induction
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active 5 days ago

- Discussion Type
- discussion topicuniversal algebra
- Category Latest Changes
- Started by nLab edit announcer
- Comments 8
- Last comment by nLab edit announcer
- Last Active 5 days ago

- Discussion Type
- discussion topicsynthetic domain theory
- Category Latest Changes
- Started by maxsnew
- Comments 9
- Last comment by nLab edit announcer
- Last Active 5 days ago

- Discussion Type
- discussion topicstar-polycategory
- Category Latest Changes
- Started by Sam Staton
- Comments 10
- Last comment by nLab edit announcer
- Last Active 5 days ago

- Discussion Type
- discussion topicrealizability
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by nLab edit announcer
- Last Active 5 days ago

- Discussion Type
- discussion topicreal numbers object
- Category Latest Changes
- Started by Corbin
- Comments 2
- Last comment by nLab edit announcer
- Last Active 5 days ago

- Discussion Type
- discussion topicpropositional axiom of choice
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by nLab edit announcer
- Last Active 5 days ago

- Discussion Type
- discussion topicproof theory
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by nLab edit announcer
- Last Active 5 days ago

- Discussion Type
- discussion topicmonad transformer
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by nLab edit announcer
- Last Active 5 days ago