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 galois-theory 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 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 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 topicSifted colimits
- Category Latest Changes
- Started by TobyBartels
- Comments 3
- Last comment by TobyBartels
- Last Active Aug 20th 2010

- Discussion Type
- discussion topicSequential nets
- Category Latest Changes
- Started by TobyBartels
- Comments 3
- Last comment by TobyBartels
- Last Active Aug 20th 2010

- Discussion Type
- discussion topicJointly epimorphic families
- Category Latest Changes
- Started by TobyBartels
- Comments 5
- Last comment by TobyBartels
- Last Active Aug 19th 2010

- Discussion Type
- discussion topicoo-vector bundles
- Category Latest Changes
- Started by Urs
- Comments 36
- Last comment by zskoda
- Last Active Aug 18th 2010

- Discussion Type
- discussion topicindecomposable object
- Category Latest Changes
- Started by FinnLawler
- Comments 17
- Last comment by Marc
- Last Active Aug 18th 2010

- Discussion Type
- discussion topicThin categories
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Aug 18th 2010

- Discussion Type
- discussion topiccircle n-bundle with connection
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Aug 18th 2010

- Discussion Type
- discussion topicHurewicz fibration
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 20
- Last comment by Urs
- Last Active Aug 18th 2010

- Discussion Type
- discussion topicWhat is a monoidal category with one (or two) object(s)?
- Category Mathematics, Physics & Philosophy
- Started by Kevin Lin
- Comments 19
- Last comment by Mike Shulman
- Last Active Aug 18th 2010

- Discussion Type
- discussion topicGleason's Theorem for POVMs
- Category Latest Changes
- Started by TobyBartels
- Comments 4
- Last comment by Ian_Durham
- Last Active Aug 18th 2010

- Discussion Type
- discussion topicgluing from localizations
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Aug 17th 2010

- Discussion Type
- discussion topicconditions for natural transformations to exist?
- Category Mathematics, Physics & Philosophy
- Started by Eric
- Comments 17
- Last comment by TobyBartels
- Last Active Aug 17th 2010

- Discussion Type
- discussion topicstacked cover
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Aug 17th 2010

- Discussion Type
- discussion topicHTT Lemma A.3.6.17
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 8
- Last comment by Harry Gindi
- Last Active Aug 17th 2010

- Discussion Type
- discussion topicQuantification
- Category Latest Changes
- Started by TobyBartels
- Comments 2
- Last comment by TobyBartels
- Last Active Aug 17th 2010

- Discussion Type
- discussion topicContents
- Category Latest Changes
- Started by TobyBartels
- Comments 2
- Last comment by Mike Shulman
- Last Active Aug 17th 2010

- Discussion Type
- discussion topicStates in statistical physics
- Category Latest Changes
- Started by TobyBartels
- Comments 3
- Last comment by Ian_Durham
- Last Active Aug 16th 2010

- Discussion Type
- discussion topicStates of operator algebras
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Aug 16th 2010

- Discussion Type
- discussion topicpossible spam: [PrimeDeGold] and [theory of primes]
- Category Latest Changes
- Started by DavidRoberts
- Comments 23
- Last comment by TobyBartels
- Last Active Aug 16th 2010

- Discussion Type
- discussion topicnonabelian Lie algebra cohomology
- Category Latest Changes
- Started by zskoda
- Comments 6
- Last comment by Urs
- Last Active Aug 16th 2010

- Discussion Type
- discussion topicoo-Lie algebra cohomology
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Aug 16th 2010

- Discussion Type
- discussion topicleft properness - or not - of dgAlg
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Aug 16th 2010

- Discussion Type
- discussion topic[shrinkable map]
- Category Latest Changes
- Started by DavidRoberts
- Comments 3
- Last comment by DavidRoberts
- Last Active Aug 16th 2010

- Discussion Type
- discussion topicOne is the loneliest article.
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Aug 16th 2010

- Discussion Type
- discussion topicold question about COSHEP and anafunctors from MO - finitist applications?
- Category Mathematics, Physics & Philosophy
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active Aug 16th 2010

- Discussion Type
- discussion topicAdded new links to my nLab page
- Category Latest Changes
- Started by Stephen Britton
- Comments 3
- Last comment by Stephen Britton
- Last Active Aug 16th 2010

- Discussion Type
- discussion topicnLab gets a footnote in a news article
- Category nLab General Discussions
- Started by Andrew Stacey
- Comments 36
- Last comment by Todd_Trimble
- Last Active Aug 15th 2010

- Discussion Type
- discussion topicBaues-Wirsching cohomology
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by Todd_Trimble
- Last Active Aug 15th 2010

- Discussion Type
- discussion topicadded an example to "examples" in monad
- Category Latest Changes
- Started by jcmckeown
- Comments 9
- Last comment by TobyBartels
- Last Active Aug 15th 2010

- Discussion Type
- discussion topicBoundary of a 2-Morphism and the Interchange Law
- Category Mathematics, Physics & Philosophy
- Started by Eric
- Comments 2
- Last comment by Eric
- Last Active Aug 15th 2010

- Discussion Type
- discussion topicWas I the first in the lab this morning?
- Category nLab Technical Matters
- Started by Andrew Stacey
- Comments 7
- Last comment by jcmckeown
- Last Active Aug 14th 2010

- Discussion Type
- discussion topicFeynman proof
- Category Latest Changes
- Started by zskoda
- Comments 4
- Last comment by Ian_Durham
- Last Active Aug 14th 2010

- Discussion Type
- discussion topicIgnoring discussions/users - Note to n-Forum
- Category n-Forum
- Started by Eric
- Comments 4
- Last comment by Ian_Durham
- Last Active Aug 14th 2010

- Discussion Type
- discussion topicQuestion on size matters in algebraic theories
- Category Mathematics, Physics & Philosophy
- Started by Andrew Stacey
- Comments 37
- Last comment by FinnLawler
- Last Active Aug 12th 2010

- Discussion Type
- discussion topicCategory-valued forms and Stokes' theorem for categories
- Category Mathematics, Physics & Philosophy
- Started by Eric
- Comments 6
- Last comment by Eric
- Last Active Aug 12th 2010

- Discussion Type
- discussion topicSati Geometric...M-branes
- Category Latest Changes
- Started by zskoda
- Comments 5
- Last comment by zskoda
- Last Active Aug 11th 2010

- Discussion Type
- discussion topicsemidirect product
- Category Mathematics, Physics & Philosophy
- Started by Eric
- Comments 60
- Last comment by Eric
- Last Active Aug 10th 2010

- Discussion Type
- discussion topicFinally scrounged up the money for Porter-Kamps and ordered it!
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 7
- Last comment by Harry Gindi
- Last Active Aug 10th 2010

- Discussion Type
- discussion topicnerves of (braided? symmetric?) monoidal categories
- Category Mathematics, Physics & Philosophy
- Started by domenico_fiorenza
- Comments 6
- Last comment by Tim_Porter
- Last Active Aug 10th 2010

- Discussion Type
- discussion topicPasting lemmas
- Category Latest Changes
- Started by FinnLawler
- Comments 3
- Last comment by FinnLawler
- Last Active Aug 10th 2010

- Discussion Type
- discussion topictaking a web private
- Category Lab Elf News
- Started by bwebster
- Comments 4
- Last comment by TobyBartels
- Last Active Aug 10th 2010

- Discussion Type
- discussion topicLocally small functor categories
- Category nLab General Discussions
- Started by Andrew Stacey
- Comments 6
- Last comment by zskoda
- Last Active Aug 9th 2010

- Discussion Type
- discussion topicNote to Domenico
- Category n-Forum
- Started by Eric
- Comments 6
- Last comment by Eric
- Last Active Aug 8th 2010

- Discussion Type
- discussion topicThe enriched small object argument and HTT lemma A.3.5.9
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 2
- Last comment by Harry Gindi
- Last Active Aug 8th 2010

- Discussion Type
- discussion topicInfinitary Lawvere theories
- Category Latest Changes
- Started by TobyBartels
- Comments 15
- Last comment by TobyBartels
- Last Active Aug 7th 2010

- Discussion Type
- discussion topicExtruding categories
- Category Mathematics, Physics & Philosophy
- Started by Eric
- Comments 5
- Last comment by Tim_Porter
- Last Active Aug 6th 2010

- Discussion Type
- discussion topicComputing mapping spaces in [Sp,X] where X is V-enriched and tensored over V
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 1
- Last comment by Harry Gindi
- Last Active Aug 5th 2010

- Discussion Type
- discussion topicNew entry on Bourn plus query on semi-Abelian categories
- Category Latest Changes
- Started by Tim_Porter
- Comments 5
- Last comment by zskoda
- Last Active Aug 4th 2010

- Discussion Type
- discussion topicNew question and answer site for TeX/LaTeX
- Category Mathematics, Physics & Philosophy
- Started by Andrew Stacey
- Comments 5
- Last comment by Mike Shulman
- Last Active Aug 4th 2010

- Discussion Type
- discussion topic3-Lie
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by zskoda
- Last Active Aug 3rd 2010

- Discussion Type
- discussion topicUnderstanding Finite Limits
- Category Mathematics, Physics & Philosophy
- Started by Eric
- Comments 59
- Last comment by Eric
- Last Active Aug 3rd 2010

- Discussion Type
- discussion topicQuestion about typed varietes of algebras
- Category Latest Changes
- Started by Andrew Stacey
- Comments 4
- Last comment by TobyBartels
- Last Active Aug 2nd 2010

- Discussion Type
- discussion topic(hyperconnected,localic)
- Category Latest Changes
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active Aug 2nd 2010

- Discussion Type
- discussion topicqft and strings for mathematicians notation / "curvature characteristic form"
- Category Mathematics, Physics & Philosophy
- Started by cfgauss
- Comments 2
- Last comment by Eric
- Last Active Aug 2nd 2010

- Discussion Type
- discussion topicThe image of a functor
- Category Mathematics, Physics & Philosophy
- Started by jamievicary
- Comments 40
- Last comment by Mike Shulman
- Last Active Aug 2nd 2010

- Discussion Type
- discussion topicAny way to automatically create redirects for capitalization?
- Category nLab Technical Matters
- Started by Harry Gindi
- Comments 10
- Last comment by TobyBartels
- Last Active Aug 2nd 2010

- Discussion Type
- discussion topicsubnet
- Category Latest Changes
- Started by Todd_Trimble
- Comments 4
- Last comment by TobyBartels
- Last Active Aug 2nd 2010

- Discussion Type
- discussion topicaway for a bit
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 2
- Last comment by Eric
- Last Active Jul 31st 2010

- Discussion Type
- discussion topicPotential mnemonic for differentiating 'strict' and 'weak' infinity-categories
- Category Mathematics, Physics & Philosophy
- Started by Stephen Britton
- Comments 1
- Last comment by Stephen Britton
- Last Active Jul 31st 2010

- Discussion Type
- discussion topicKan extension definition and fibrant/cofibrant replacement definitions of derived functors agree?
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 2
- Last comment by Mike Shulman
- Last Active Jul 30th 2010