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 bundle 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 integration integration-theory k-theory lie 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 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

- Discussion Type
- discussion topicfiber product
- Category nLab General Discussions
- Started by Mike Shulman
- Comments 3
- Last comment by Urs
- Last Active Sep 7th 2011

- Discussion Type
- discussion topicSimulations
- Category Latest Changes
- Started by TobyBartels
- Comments 12
- Last comment by TobyBartels
- Last Active Sep 7th 2011

- Discussion Type
- discussion topiclax morphism
- Category Latest Changes
- Started by Mike Shulman
- Comments 2
- Last comment by TobyBartels
- Last Active Sep 7th 2011

- Discussion Type
- discussion topicVerity's thesis
- Category Preprints & Publications
- Started by FinnLawler
- Comments 8
- Last comment by DavidRoberts
- Last Active Sep 7th 2011

- Discussion Type
- discussion topicnLab shout-out in Notices AMS
- Category nLab General Discussions
- Started by DavidRoberts
- Comments 11
- Last comment by DavidRoberts
- Last Active Sep 7th 2011

- Discussion Type
- discussion topicwell-founded relation
- Category Latest Changes
- Started by Todd_Trimble
- Comments 3
- Last comment by Mike Shulman
- Last Active Sep 6th 2011

- Discussion Type
- discussion topicColeman-Mandula theorem
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 6th 2011

- Discussion Type
- discussion topicHausdorff metric
- Category Latest Changes
- Started by Mike Shulman
- Comments 2
- Last comment by zskoda
- Last Active Sep 6th 2011

- Discussion Type
- discussion topicconnection in noncommutative geometry
- Category nLab
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Sep 6th 2011

- Discussion Type
- discussion topiccompactly generated model category
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Sep 6th 2011

- Discussion Type
- discussion topicNew topic
- Category Latest Changes
- Started by paoloantonini
- Comments 7
- Last comment by Urs
- Last Active Sep 6th 2011

- Discussion Type
- discussion topicgradient
- Category Latest Changes
- Started by Urs
- Comments 18
- Last comment by Urs
- Last Active Sep 5th 2011

- Discussion Type
- discussion topic2-gerbe
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 5th 2011

- Discussion Type
- discussion topicMac Lane's proof of coherence
- Category Latest Changes
- Started by Yaron
- Comments 6
- Last comment by Todd_Trimble
- Last Active Sep 4th 2011

- Discussion Type
- discussion topicToo many tropics
- Category nLab Organisation
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Sep 4th 2011

- Discussion Type
- discussion topicHigher arities, parametric left adjoints, and diagonal functors
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 1
- Last comment by Harry Gindi
- Last Active Sep 3rd 2011

- Discussion Type
- discussion topicuniversality
- Category Latest Changes
- Started by Blake Stacey
- Comments 13
- Last comment by Blake Stacey
- Last Active Sep 3rd 2011

- Discussion Type
- discussion topicTerminology: complete lattices of subobjects
- Category nLab General Discussions
- Started by TobyBartels
- Comments 6
- Last comment by Mike Shulman
- Last Active Sep 3rd 2011

- Discussion Type
- discussion topicLagrange multiplier
- Category Latest Changes
- Started by zskoda
- Comments 4
- Last comment by Mike Shulman
- Last Active Sep 3rd 2011

- Discussion Type
- discussion topicsymplectic infinity-groupoid
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 2nd 2011