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

(0 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundle bundles calculus categories category category-theory chern-weil-theory cobordism-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 derived-geometry descent differential differential-cohomology differential-geometry differential-topology duality education elliptic-cohomology enriched factorization-system fibration foundations functional-analysis functor galois-theory gauge-theory gebra general topology geometric-quantization geometry goodwillie-calculus gravity group-theory higher higher-algebra higher-category-theory higher-differential-geometry higher-geoemtry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration-theory k-theory kan lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory meta modal-logic model model-category-theory monoidal monoidal-category monoidal-category-theory morphism motives motivic-cohomology newpage nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory phenomenology 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 set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject supergeometry symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory tqft type type-theory universal

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 topicmonad transformer
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 8
- Last comment by gershom_bazerman
- Last Active 39 minutes ago

- Discussion Type
- discussion topicWhy is a (0,1)-topos a cHa?
- Category nLab General Discussions
- Started by sherman
- Comments 3
- Last comment by Todd_Trimble
- Last Active 43 minutes ago

- Discussion Type
- discussion topicReverse mathematics
- Category Latest Changes
- Started by Ulrik
- Comments 32
- Last comment by David_Corfield
- Last Active 11 hours ago

- Discussion Type
- discussion topicmonads for nature language and pragmatics
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active 18 hours ago

- Discussion Type
- discussion topicPoincarĂ© conjecture
- Category nLab General Discussions
- Started by Richard Williamson
- Comments 4
- Last comment by DavidRoberts
- Last Active 1 day ago

- Discussion Type
- discussion topicBurnside ring
- Category Latest Changes
- Started by Todd_Trimble
- Comments 3
- Last comment by Todd_Trimble
- Last Active 2 days ago

- Discussion Type
- discussion topiclogicality and invariance
- Category Latest Changes
- Started by David_Corfield
- Comments 2
- Last comment by David_Corfield
- Last Active 2 days ago

- Discussion Type
- discussion topictrace of a category
- Category Latest Changes
- Started by Todd_Trimble
- Comments 2
- Last comment by Todd_Trimble
- Last Active 2 days ago

- Discussion Type
- discussion topicfundamental theorem of calculus claim from hpg
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 17
- Last comment by DavidRoberts
- Last Active 2 days ago

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

- Discussion Type
- discussion topichomogeneous C*-algebra
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active 3 days ago

- Discussion Type
- discussion topic2-spectral triple
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicConnes-Lott-Chamseddine-Barrett model
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

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

- Discussion Type
- discussion topicerrata for dcct
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 3
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicintensive and extensive
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by David_Corfield
- Last Active 3 days ago

- Discussion Type
- discussion topiclimits and colimits by example
- Category nLab General Discussions
- Started by Dexter Chua
- Comments 6
- Last comment by Todd_Trimble
- Last Active 4 days ago

- Discussion Type
- discussion topicnegative moment
- Category Latest Changes
- Started by David_Corfield
- Comments 2
- Last comment by David_Corfield
- Last Active 4 days ago

- Discussion Type
- discussion topicenvironment numbering
- Category nLab Technical Matters
- Started by Richard Williamson
- Comments 57
- Last comment by Mike Shulman
- Last Active 6 days ago

- Discussion Type
- discussion topicExponential ideal
- Category Latest Changes
- Started by hugopaquet
- Comments 3
- Last comment by Mike Shulman
- Last Active 6 days ago

- Discussion Type
- discussion topic"Science of Logic"
- Category Latest Changes
- Started by Urs
- Comments 120
- Last comment by David_Corfield
- Last Active 6 days ago

- Discussion Type
- discussion topicTime
- Category Latest Changes
- Started by trent
- Comments 5
- Last comment by David_Corfield
- Last Active 6 days ago

- Discussion Type
- discussion topiclocal cohomology
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 4
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topicSemiring
- Category Mathematics, Physics & Philosophy
- Started by laithunb
- Comments 3
- Last comment by SridharRamesh
- Last Active Sep 21st 2016

- Discussion Type
- discussion topicunitization
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by jesse
- Last Active Sep 21st 2016

- Discussion Type
- discussion topicInstantons on S^5
- Category nLab General Discussions
- Started by DavidRoberts
- Comments 2
- Last comment by DavidRoberts
- Last Active Sep 21st 2016

- Discussion Type
- discussion topicstring theory FAQ
- Category Latest Changes
- Started by Urs
- Comments 61
- Last comment by Urs
- Last Active Sep 20th 2016

- Discussion Type
- discussion topicArithmetic Chern-Simons Theory
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 7
- Last comment by Urs
- Last Active Sep 20th 2016

- Discussion Type
- discussion topicMagic entries
- Category Latest Changes
- Started by David_Corfield
- Comments 11
- Last comment by Urs
- Last Active Sep 20th 2016

- Discussion Type
- discussion topiccoherent module
- Category Latest Changes
- Started by Tim_Porter
- Comments 4
- Last comment by IngoBlechschmidt
- Last Active Sep 19th 2016