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 topicDo non-monotonicity / higher-order / probabilistics / modalities / connectives exhaust all possible
- Category Mathematics, Physics & Philosophy
- Started by tomr
- Comments 2
- Last comment by atmacen
- Last Active 2 hours ago

- Discussion Type
- discussion topicsemicartesian monoidal category
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by Mike Shulman
- Last Active 4 hours ago

- Discussion Type
- discussion topiccohomotopy
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by Urs
- Last Active 11 hours ago

- Discussion Type
- discussion topicSato Grassmanian
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active 12 hours ago

- Discussion Type
- discussion topicconfiguration space of points
- Category Latest Changes
- Started by Tim_Porter
- Comments 70
- Last comment by Urs
- Last Active 12 hours ago

- Discussion Type
- discussion topicsimplicial local system
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 1
- Last comment by Dmitri Pavlov
- Last Active 12 hours ago

- Discussion Type
- discussion topicSteve Awodey
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by DavidRoberts
- Last Active 17 hours ago

- Discussion Type
- discussion topicAdS-QCD correspondence
- Category Latest Changes
- Started by Urs
- Comments 22
- Last comment by Urs
- Last Active 21 hours ago

- Discussion Type
- discussion topicRadon measure
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active 1 day ago

- Discussion Type
- discussion topicRadon monad
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active 1 day ago

- Discussion Type
- discussion topicDisambiguation request for two pages
- Category Latest Changes
- Started by PaoloPerrone
- Comments 5
- Last comment by Mike Shulman
- Last Active 1 day ago

- Discussion Type
- discussion topiccompact ordered space
- Category Latest Changes
- Started by PaoloPerrone
- Comments 2
- Last comment by PaoloPerrone
- Last Active 1 day ago

- Discussion Type
- discussion topicfundamental theorem of algebra
- Category Latest Changes
- Started by Todd_Trimble
- Comments 59
- Last comment by Mike Shulman
- Last Active 1 day ago

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

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

- Discussion Type
- discussion topicstably compact space
- Category Latest Changes
- Started by PaoloPerrone
- Comments 2
- Last comment by PaoloPerrone
- Last Active 2 days ago

- Discussion Type
- discussion topicDuflo isomorphism
- Category Latest Changes
- Started by zskoda
- Comments 3
- Last comment by zskoda
- Last Active 2 days ago

- Discussion Type
- discussion topicKashiwara-Vergne conjecture
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active 2 days ago

- Discussion Type
- discussion topicbar and cobar construction
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicequivariant Hopf degree theorem
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicpermutation representation
- Category Latest Changes
- Started by zskoda
- Comments 101
- Last comment by Urs
- Last Active 2 days ago

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

- Discussion Type
- discussion topicone-point compactification
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicheterotic string theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicPoisson-Lie T-duality
- Category Latest Changes
- Started by Urs
- Comments 16
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicextended probabilistic powerdomain
- Category Latest Changes
- Started by PaoloPerrone
- Comments 7
- Last comment by PaoloPerrone
- Last Active 3 days ago

- Discussion Type
- discussion topiccobordism
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicMichael Atiyah
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicGiry monad
- Category Latest Changes
- Started by zskoda
- Comments 30
- Last comment by PaoloPerrone
- Last Active 3 days ago

- Discussion Type
- discussion topicM5-MO9 brane bound state
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago