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 beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology newpage noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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 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 topicmanifolds and cobordisms - contents
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jun 26th 2010

- Discussion Type
- discussion topicConfusing typo in Higher topos theory proposition A.3.1.8
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 4
- Last comment by Harry Gindi
- Last Active Jun 26th 2010

- Discussion Type
- discussion topictemplate page
- Category nLab General Discussions
- Started by Urs
- Comments 12
- Last comment by Urs
- Last Active Jun 26th 2010

- Discussion Type
- discussion topicharmonic form
- Category Latest Changes
- Started by Kevin Lin
- Comments 2
- Last comment by Urs
- Last Active Jun 26th 2010

- Discussion Type
- discussion topicHodge theory
- Category Latest Changes
- Started by Kevin Lin
- Comments 8
- Last comment by Eric
- Last Active Jun 26th 2010

- Discussion Type
- discussion topicreflective subcategory
- Category Latest Changes
- Started by Todd_Trimble
- Comments 5
- Last comment by Todd_Trimble
- Last Active Jun 26th 2010

- Discussion Type
- discussion topicQuery at Omega-group
- Category Latest Changes
- Started by John Baez
- Comments 3
- Last comment by zskoda
- Last Active Jun 26th 2010

- Discussion Type
- discussion topicproblem with editing
- Category Latest Changes
- Started by zskoda
- Comments 4
- Last comment by zskoda
- Last Active Jun 25th 2010

- Discussion Type
- discussion topicasymptotic isometry
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Jun 25th 2010

- Discussion Type
- discussion topicsplit sequence
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Andrew Stacey
- Last Active Jun 25th 2010

- Discussion Type
- discussion topicCalabi-Yau variety
- Category Latest Changes
- Started by Kevin Lin
- Comments 2
- Last comment by Todd_Trimble
- Last Active Jun 25th 2010

- Discussion Type
- discussion topicTCFT
- Category Latest Changes
- Started by Urs
- Comments 27
- Last comment by Urs
- Last Active Jun 25th 2010

- Discussion Type
- discussion topicC*-algebras
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Jun 25th 2010

- Discussion Type
- discussion topicNotation query from separation axioms
- Category Latest Changes
- Started by Andrew Stacey
- Comments 23
- Last comment by TobyBartels
- Last Active Jun 24th 2010

- Discussion Type
- discussion topicorthogonality
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Harry Gindi
- Last Active Jun 24th 2010

- Discussion Type
- discussion topicPfaffian line bundle
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Jun 24th 2010

- Discussion Type
- discussion topicNo-go theorem
- Category Latest Changes
- Started by Ian_Durham
- Comments 6
- Last comment by Ian_Durham
- Last Active Jun 24th 2010

- Discussion Type
- discussion topicWeak contractibility in HTT
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 5
- Last comment by Urs
- Last Active Jun 24th 2010

- Discussion Type
- discussion topic[orthogonal subcategory problem]
- Category Latest Changes
- Started by Harry Gindi
- Comments 5
- Last comment by Urs
- Last Active Jun 24th 2010

- Discussion Type
- discussion topicAway for a spell
- Category nLab General Discussions
- Started by DavidRoberts
- Comments 14
- Last comment by Ian_Durham
- Last Active Jun 24th 2010

- Discussion Type
- discussion topicm-cofibrant and convenient category of topological spaces?
- Category nLab General Discussions
- Started by Harry Gindi
- Comments 13
- Last comment by Urs
- Last Active Jun 23rd 2010

- Discussion Type
- discussion topicspin-statistics theorem
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by Ian_Durham
- Last Active Jun 23rd 2010

- Discussion Type
- discussion topicCircle Lie n-groupoid
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jun 23rd 2010

- Discussion Type
- discussion topicgroup
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by TobyBartels
- Last Active Jun 23rd 2010

- Discussion Type
- discussion topicG-delta subset
- Category Latest Changes
- Started by Andrew Stacey
- Comments 2
- Last comment by TobyBartels
- Last Active Jun 23rd 2010

- Discussion Type
- discussion topicslow personal web
- Category nLab Technical Matters
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jun 22nd 2010

- Discussion Type
- discussion topicPoincare conjecture
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jun 22nd 2010

- Discussion Type
- discussion topicError in the proof of A.1.5.6 in HTT?
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 19
- Last comment by Harry Gindi
- Last Active Jun 22nd 2010

- Discussion Type
- discussion topicfat simplex
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jun 22nd 2010

- Discussion Type
- discussion topicCounterexamples in Algebra
- Category Latest Changes
- Started by Andrew Stacey
- Comments 17
- Last comment by Urs
- Last Active Jun 22nd 2010