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 infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic manifolds 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 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 topicFonts and styles for the nLab
- Category Mathematics, Physics & Philosophy
- Started by Bruce
- Comments 11
- Last comment by Tim_Porter
- Last Active Oct 19th 2011

- Discussion Type
- discussion topicP is quasicentral for the Crans tensor product?
- Category nLab General Discussions
- Started by Harry Gindi
- Comments 2
- Last comment by Harry Gindi
- Last Active Oct 19th 2011

- Discussion Type
- discussion topicconnection on a bundle
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by zskoda
- Last Active Oct 18th 2011

- Discussion Type
- discussion topictable of orthogonal groups and related
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by zskoda
- Last Active Oct 17th 2011

- Discussion Type
- discussion topicdg-manifold
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 17th 2011

- Discussion Type
- discussion topictable of branes
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Oct 14th 2011

- Discussion Type
- discussion topic7d supergravity
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 14th 2011

- Discussion Type
- discussion topicAdS7 / CFT6
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Oct 13th 2011

- Discussion Type
- discussion topicconfiguration space
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by zskoda
- Last Active Oct 13th 2011

- Discussion Type
- discussion topicn-poset
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Oct 13th 2011

- Discussion Type
- discussion topicepi/mono factorization system
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by TobyBartels
- Last Active Oct 12th 2011

- Discussion Type
- discussion topicessentially surjective and full/faithful factorization system
- Category nLab General Discussions
- Started by Urs
- Comments 3
- Last comment by Mike Shulman
- Last Active Oct 11th 2011

- Discussion Type
- discussion topichomotopy image
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 10th 2011

- Discussion Type
- discussion topicn-connected/n-truncated factorization system
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 10th 2011

- Discussion Type
- discussion topicLawvere's 'Cohesive Toposes and Cantor's 'Lauter Einsen''
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 3
- Last comment by David_Corfield
- Last Active Oct 10th 2011

- Discussion Type
- discussion topicequilogical space
- Category Mathematics, Physics & Philosophy
- Started by Todd_Trimble
- Comments 3
- Last comment by TobyBartels
- Last Active Oct 10th 2011

- Discussion Type
- discussion topicquestion about preservation of wide pushouts
- Category Mathematics, Physics & Philosophy
- Started by Todd_Trimble
- Comments 7
- Last comment by Mike Shulman
- Last Active Oct 10th 2011

- Discussion Type
- discussion topicRevamping [[measurable space]].
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Oct 9th 2011

- Discussion Type
- discussion topicUrgent: The category of strict omega-categories is cartesian closed
- Category nLab General Discussions
- Started by Harry Gindi
- Comments 33
- Last comment by Harry Gindi
- Last Active Oct 8th 2011

- Discussion Type
- discussion topicCotopos
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Oct 7th 2011

- Discussion Type
- discussion topicnew entries surrounding well-quasi-orders
- Category Latest Changes
- Started by Todd_Trimble
- Comments 2
- Last comment by Todd_Trimble
- Last Active Oct 6th 2011

- Discussion Type
- discussion topicHamiltonian vector fields on symplectic oo-groupoids
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 6th 2011

- Discussion Type
- discussion topicBV-bracket as homotopy between canonical presymplectic forms
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Oct 5th 2011

- Discussion Type
- discussion topic4000 and one things to think about
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 42
- Last comment by zskoda
- Last Active Oct 5th 2011

- Discussion Type
- discussion topicAlexandroff spaces and Alexandrov spaces
- Category nLab General Discussions
- Started by Dmitri Pavlov
- Comments 54
- Last comment by zskoda
- Last Active Oct 5th 2011

- Discussion Type
- discussion topicQuestion about stacks/2-sheaves
- Category Mathematics, Physics & Philosophy
- Started by SridharRamesh
- Comments 3
- Last comment by Mike Shulman
- Last Active Oct 5th 2011

- Discussion Type
- discussion topicgeometric Langlands program
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Oct 5th 2011

- Discussion Type
- discussion topicpredicate
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 26
- Last comment by David_Corfield
- Last Active Oct 4th 2011

- Discussion Type
- discussion topiccollective field theory, large N limit
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Oct 4th 2011

- Discussion Type
- discussion topicStrict Grothendieck ω-fibrations between strict ω-categories
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 4
- Last comment by Mike Shulman
- Last Active Oct 4th 2011

- Discussion Type
- discussion topicMagnus infinity-group
- Category Mathematics, Physics & Philosophy
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Oct 4th 2011

- Discussion Type
- discussion topicAutomorphisms of constant presheaves.
- Category nLab General Discussions
- Started by Tim_Porter
- Comments 4
- Last comment by Tim_Porter
- Last Active Oct 4th 2011

- Discussion Type
- discussion topicback
- Category nLab General Discussions
- Started by Mike Shulman
- Comments 5
- Last comment by Urs
- Last Active Oct 3rd 2011

- Discussion Type
- discussion topicsmall cocompletion of Set
- Category Mathematics, Physics & Philosophy
- Started by Todd_Trimble
- Comments 8
- Last comment by Todd_Trimble
- Last Active Oct 3rd 2011

- Discussion Type
- discussion topicmulti-line title formatting
- Category nLab Technical Matters
- Started by Mike Shulman
- Comments 2
- Last comment by Andrew Stacey
- Last Active Oct 3rd 2011

- Discussion Type
- discussion topicETCS without well pointedness
- Category Mathematics, Physics & Philosophy
- Started by DavidRoberts
- Comments 5
- Last comment by Mike Shulman
- Last Active Oct 3rd 2011

- Discussion Type
- discussion topicOpportunity to help with programming
- Category nLab Technical Matters
- Started by Andrew Stacey
- Comments 6
- Last comment by zskoda
- Last Active Oct 3rd 2011

- Discussion Type
- discussion topicon "new foundations of quantum mechanics" on the market
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 33
- Last comment by Ben_Sprott
- Last Active Oct 3rd 2011

- Discussion Type
- discussion topicThe algebra of idempotents
- Category Latest Changes
- Started by TobyBartels
- Comments 3
- Last comment by TobyBartels
- Last Active Oct 3rd 2011

- Discussion Type
- discussion topicPrest slides
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 2
- Last comment by Tim_Porter
- Last Active Sep 30th 2011

- Discussion Type
- discussion topicn-cafe post on Nelson broken
- Category nLab
- Started by DavidRoberts
- Comments 3
- Last comment by DavidRoberts
- Last Active Sep 29th 2011

- Discussion Type
- discussion topicUpdated reference in Tall-Wraith monoid
- Category Latest Changes
- Started by Andrew Stacey
- Comments 5
- Last comment by Andrew Stacey
- Last Active Sep 27th 2011

- Discussion Type
- discussion topicSecond order Liar's paradox
- Category Mathematics, Physics & Philosophy
- Started by DavidRoberts
- Comments 3
- Last comment by Todd_Trimble
- Last Active Sep 23rd 2011

- Discussion Type
- discussion topicLaying out a proof
- Category nLab General Discussions
- Started by Andrew Stacey
- Comments 7
- Last comment by Andrew Stacey
- Last Active Sep 22nd 2011

- Discussion Type
- discussion topicLCC pretopos
- Category Latest Changes
- Started by Todd_Trimble
- Comments 5
- Last comment by Todd_Trimble
- Last Active Sep 21st 2011

- Discussion Type
- discussion topiccurve
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 20th 2011

- Discussion Type
- discussion topicHigher local Kan extensions
- Category Latest Changes
- Started by fpaugam
- Comments 5
- Last comment by fpaugam
- Last Active Sep 20th 2011

- Discussion Type
- discussion topicLie 2-group
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 20th 2011

- Discussion Type
- discussion topicInfinite descent
- Category Latest Changes
- Started by TobyBartels
- Comments 2
- Last comment by TobyBartels
- Last Active Sep 19th 2011

- Discussion Type
- discussion topicintroduction to oo-Chern-Weil theory
- Category Latest Changes
- Started by Urs
- Comments 43
- Last comment by domenico_fiorenza
- Last Active Sep 19th 2011

- Discussion Type
- discussion topicLoops with singularities
- Category Latest Changes
- Started by Andrew Stacey
- Comments 10
- Last comment by Andrew Stacey
- Last Active Sep 19th 2011

- Discussion Type
- discussion topicmodel structure on cosimplicial spaces
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Sep 19th 2011

- Discussion Type
- discussion topicpreview post
- Category n-Forum
- Started by Mike Shulman
- Comments 12
- Last comment by RodMcGuire
- Last Active Sep 18th 2011

- Discussion Type
- discussion topicanomaly line bundle for self-dual higher gauge theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 17th 2011

- Discussion Type
- discussion topicKilling tensor and Killing-Yano tensor
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 17th 2011

- Discussion Type
- discussion topicPaths and loops
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Sep 17th 2011

- Discussion Type
- discussion topicStacks of Measures
- Category nLab General Discussions
- Started by hilbertthm90
- Comments 14
- Last comment by DavidRoberts
- Last Active Sep 17th 2011

- Discussion Type
- discussion topicgeometric quantization of symplectic infinity-groupoids
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by zskoda
- Last Active Sep 14th 2011

- Discussion Type
- discussion topicLetter to AMS webmaster
- Category nLab Technical Matters
- Started by zskoda
- Comments 16
- Last comment by zskoda
- Last Active Sep 14th 2011

- Discussion Type
- discussion topicFrobenius map
- Category Latest Changes
- Started by hilbertthm90
- Comments 8
- Last comment by zskoda
- Last Active Sep 14th 2011