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 book bundles calculus categorical 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 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 integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic 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 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

- Discussion Type
- discussion topichigher quantization
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 14th 2011

- Discussion Type
- discussion topicbeware of the spurious forum
- Category n-Forum
- Started by Urs
- Comments 7
- Last comment by Andrew Stacey
- Last Active Sep 13th 2011

- Discussion Type
- discussion topicChern-Simons element
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Sep 11th 2011

- Discussion Type
- discussion topicWell-orders need not be linear.
- Category Latest Changes
- Started by TobyBartels
- Comments 11
- Last comment by TobyBartels
- Last Active Sep 11th 2011

- Discussion Type
- discussion topicF-categories
- Category Latest Changes
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active Sep 11th 2011

- Discussion Type
- discussion topicfactorization structures
- Category Latest Changes
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active Sep 10th 2011

- Discussion Type
- discussion topicKZ equations
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 10th 2011

- Discussion Type
- discussion topicsymmetric space, quandle
- Category Latest Changes
- Started by John Baez
- Comments 11
- Last comment by zskoda
- Last Active Sep 9th 2011

- Discussion Type
- discussion topicclassification of nonabelian oo-gerbes
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 15
- Last comment by DavidRoberts
- Last Active Sep 9th 2011

- Discussion Type
- discussion topicAre (co)ends split (co)equalizers?
- Category Mathematics, Physics & Philosophy
- Started by FinnLawler
- Comments 3
- Last comment by FinnLawler
- Last Active Sep 9th 2011

- Discussion Type
- discussion topiclots of brackets on $inn(\mathfrak{g})$
- Category Mathematics, Physics & Philosophy
- Started by domenico_fiorenza
- Comments 55
- Last comment by Urs
- Last Active Sep 8th 2011

- Discussion Type
- discussion topicFree ultrafilters
- Category Mathematics, Physics & Philosophy
- Started by DavidRoberts
- Comments 2
- Last comment by TobyBartels
- Last Active Sep 8th 2011

- Discussion Type
- discussion topicQuestion for Mike
- Category Mathematics, Physics & Philosophy
- Started by TobyBartels
- Comments 5
- Last comment by Mike Shulman
- Last Active Sep 7th 2011

- Discussion Type
- discussion topiclax monoidal transformation
- Category nLab General Discussions
- Started by Mike Shulman
- Comments 7
- Last comment by TobyBartels
- Last Active Sep 7th 2011

- Discussion Type
- discussion topicM-complete categories
- Category Latest Changes
- Started by Mike Shulman
- Comments 3
- Last comment by TobyBartels
- Last Active Sep 7th 2011

- Discussion Type
- discussion topiccenter and outer automorphisms of infinity-groups
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 7th 2011