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 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

- Discussion Type
- discussion topicAsymmetry in the definitions of tractable left and right model categories
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 6
- Last comment by Mike Shulman
- Last Active Jul 30th 2010

- Discussion Type
- discussion topicNew Personal Webs
- Category nLab General Discussions
- Started by Andrew Stacey
- Comments 2
- Last comment by Kevin Lin
- Last Active Jul 30th 2010

- Discussion Type
- discussion topicDisconnect between [homotopy limit] and [homotopy kan extension]
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 8
- Last comment by Urs
- Last Active Jul 30th 2010

- Discussion Type
- discussion topicProper and improper subsets
- Category Latest Changes
- Started by TobyBartels
- Comments 4
- Last comment by TobyBartels
- Last Active Jul 30th 2010

- Discussion Type
- discussion topicdifferential cohomology - contents
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 29th 2010

- Discussion Type
- discussion topicdiploma higher gauge theory
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Jul 29th 2010

- Discussion Type
- discussion topicholonomy
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by zskoda
- Last Active Jul 29th 2010

- Discussion Type
- discussion topicis every connection flat?
- Category Mathematics, Physics & Philosophy
- Started by domenico_fiorenza
- Comments 36
- Last comment by zskoda
- Last Active Jul 29th 2010

- Discussion Type
- discussion topicworked examples for topos-theoretic differential cohomology
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 29th 2010

- Discussion Type
- discussion topicThe *real* real numbers have characteristic zero!
- Category Latest Changes
- Started by TobyBartels
- Comments 19
- Last comment by zskoda
- Last Active Jul 28th 2010

- Discussion Type
- discussion topicautomorphism oo-Lie algebra
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jul 28th 2010

- Discussion Type
- discussion topicAllowed shapes of diagrams
- Category Mathematics, Physics & Philosophy
- Started by Eric
- Comments 11
- Last comment by Eric
- Last Active Jul 27th 2010

- Discussion Type
- discussion topicDifferential geometry for category theory
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 5
- Last comment by David_Corfield
- Last Active Jul 27th 2010

- Discussion Type
- discussion topicdifferential 2-crossed module
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 27th 2010

- Discussion Type
- discussion topicHom-Lie algebras
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 26th 2010

- Discussion Type
- discussion topicnLab Feature request: Floating TOC free pages
- Category nLab Technical Matters
- Started by Eric
- Comments 61
- Last comment by Urs
- Last Active Jul 26th 2010

- Discussion Type
- discussion topicLie operad
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by zskoda
- Last Active Jul 26th 2010

- Discussion Type
- discussion topicHelp! Can't edit old posts.
- Category n-Forum
- Started by TobyBartels
- Comments 5
- Last comment by TobyBartels
- Last Active Jul 26th 2010