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-categories 2-category 2-category-theory abelian-categories accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus 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 connection constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck 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 infinity integration integration-theory internal-categories k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory 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-theory subobject 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 topicJoyal's Cat Lab
- Category Latest Changes
- Started by Urs
- Comments 40
- Last comment by Dmitri Pavlov
- Last Active Oct 13th 2019

- Discussion Type
- discussion topicChu construction
- Category Latest Changes
- Started by Mike Shulman
- Comments 3
- Last comment by Mike Shulman
- Last Active Oct 13th 2019

- Discussion Type
- discussion topicStyle changes
- Category nLab Technical Matters
- Started by DavidRoberts
- Comments 174
- Last comment by Urs
- Last Active Oct 13th 2019

- Discussion Type
- discussion topicstar-polycategory
- Category Latest Changes
- Started by Sam Staton
- Comments 9
- Last comment by Todd_Trimble
- Last Active Oct 13th 2019

- Discussion Type
- discussion topicintersecting D-brane model
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active Oct 13th 2019

- Discussion Type
- discussion topicfunctional programming
- Category Latest Changes
- Started by AlexisHazell
- Comments 3
- Last comment by AlexisHazell
- Last Active Oct 13th 2019

- Discussion Type
- discussion topicEugenia Cheng
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Oct 13th 2019

- Discussion Type
- discussion topicJeff Giansiracusa
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Oct 13th 2019

- Discussion Type
- discussion topic!-modality
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Mike Shulman
- Last Active Oct 12th 2019

- Discussion Type
- discussion topicEdward Witten
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by David_Corfield
- Last Active Oct 12th 2019

- Discussion Type
- discussion topiccubical type theory
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by nLab edit announcer
- Last Active Oct 12th 2019

- Discussion Type
- discussion topicJean-Claude Thomas
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 12th 2019

- Discussion Type
- discussion topicDaniel TanrĂ©
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 12th 2019

- Discussion Type
- discussion topicsimplex
- Category Latest Changes
- Started by Urs
- Comments 16
- Last comment by nLab edit announcer
- Last Active Oct 11th 2019

- Discussion Type
- discussion topicsmooth infinity-groupoid
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Dmitri Pavlov
- Last Active Oct 11th 2019

- Discussion Type
- discussion topiccorrespondence between measure and valuation theory
- Category Latest Changes
- Started by PaoloPerrone
- Comments 3
- Last comment by PaoloPerrone
- Last Active Oct 11th 2019

- Discussion Type
- discussion topicGottfried Leibniz
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by David_Corfield
- Last Active Oct 11th 2019

- Discussion Type
- discussion topicE-string
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Oct 11th 2019

- Discussion Type
- discussion topictau-additive measure
- Category Latest Changes
- Started by PaoloPerrone
- Comments 6
- Last comment by PaoloPerrone
- Last Active Oct 11th 2019

- Discussion Type
- discussion topicVassiliev invariant
- Category Latest Changes
- Started by zskoda
- Comments 8
- Last comment by Urs
- Last Active Oct 10th 2019

- Discussion Type
- discussion topicViktoriya Ozornova
- Category Latest Changes
- Started by Tim_Porter
- Comments 2
- Last comment by Urs
- Last Active Oct 10th 2019

- Discussion Type
- discussion topicThomason model structure
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active Oct 10th 2019

- Discussion Type
- discussion topicauthor contributions
- Category nLab Organisation
- Started by Todd_Trimble
- Comments 4
- Last comment by Richard Williamson
- Last Active Oct 10th 2019

- Discussion Type
- discussion topicHisao Suzuki
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 10th 2019

- Discussion Type
- discussion topicYoichi Kazama
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 10th 2019

- Discussion Type
- discussion topicKazama-Suzuki model
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by Urs
- Last Active Oct 10th 2019

- Discussion Type
- discussion topiccanonical model structure on Cat
- Category Latest Changes
- Started by Zhen Lin
- Comments 16
- Last comment by RodMcGuire
- Last Active Oct 10th 2019

- Discussion Type
- discussion topicPontrjagin ring
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Oct 10th 2019

- Discussion Type
- discussion topicWilliam Browder
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 10th 2019

- Discussion Type
- discussion topicH-space
- Category Latest Changes
- Started by Urs
- Comments 16
- Last comment by Urs
- Last Active Oct 10th 2019