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

- Discussion Type
- discussion topicVery easy: The pullback functor is always continuous and cocontinuous
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 3
- Last comment by Harry Gindi
- Last Active Jul 24th 2010

- Discussion Type
- discussion topicLinear functor - disambiguation
- Category Latest Changes
- Started by David_Corfield
- Comments 4
- Last comment by TobyBartels
- Last Active Jul 23rd 2010

- Discussion Type
- discussion topichelp: maps of mapping spaces
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 4
- Last comment by Andrew Stacey
- Last Active Jul 23rd 2010

- Discussion Type
- discussion topichelp: what (oo,1)-colimit does this model?
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Mike Shulman
- Last Active Jul 23rd 2010

- Discussion Type
- discussion topicU(1), BU(1), B^2U(1),...
- Category Mathematics, Physics & Philosophy
- Started by domenico_fiorenza
- Comments 8
- Last comment by Urs
- Last Active Jul 23rd 2010

- Discussion Type
- discussion topicTom Fiore et al new preprint
- Category Latest Changes
- Started by DavidRoberts
- Comments 2
- Last comment by Urs
- Last Active Jul 23rd 2010

- Discussion Type
- discussion topicHow do I make a personal web?
- Category nLab
- Started by Kevin Lin
- Comments 4
- Last comment by TobyBartels
- Last Active Jul 23rd 2010

- Discussion Type
- discussion topicgroupal model for universal principal infinity-bundles
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by DavidRoberts
- Last Active Jul 23rd 2010

- Discussion Type
- discussion topicGrassmann algebra
- Category Mathematics, Physics & Philosophy
- Started by Todd_Trimble
- Comments 9
- Last comment by Urs
- Last Active Jul 23rd 2010

- Discussion Type
- discussion topicLike an accessible category but not necessarily idempotent-complete?
- Category Mathematics, Physics & Philosophy
- Started by TobyBartels
- Comments 13
- Last comment by TobyBartels
- Last Active Jul 22nd 2010

- Discussion Type
- discussion topiccategorification via groupoid schemes
- Category Latest Changes
- Started by John Baez
- Comments 9
- Last comment by TobyBartels
- Last Active Jul 22nd 2010

- Discussion Type
- discussion topicuniversal connection on universal G-principal bundle
- Category Latest Changes
- Started by Urs
- Comments 38
- Last comment by zskoda
- Last Active Jul 22nd 2010

- Discussion Type
- discussion topicI'll probably be away
- Category nLab General Discussions
- Started by Todd_Trimble
- Comments 4
- Last comment by Todd_Trimble
- Last Active Jul 22nd 2010

- Discussion Type
- discussion topicnew entry:contramodule
- Category Latest Changes
- Started by zskoda
- Comments 3
- Last comment by zskoda
- Last Active Jul 21st 2010

- Discussion Type
- discussion topic[topological submersion]
- Category Latest Changes
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active Jul 21st 2010

- Discussion Type
- discussion topicGreasemonkey crashes Firefox on n-Forum/n-Category Cafe pages
- Category nLab Technical Matters
- Started by RodMcGuire
- Comments 4
- Last comment by RodMcGuire
- Last Active Jul 21st 2010

- Discussion Type
- discussion topicNotation for constant sheaves
- Category nLab General Discussions
- Started by Kevin Lin
- Comments 2
- Last comment by Urs
- Last Active Jul 20th 2010

- Discussion Type
- discussion topichypercohomology
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Kevin Lin
- Last Active Jul 20th 2010

- Discussion Type
- discussion topic[Lie groupoid] and [locally trivial category]
- Category Latest Changes
- Started by DavidRoberts
- Comments 20
- Last comment by Urs
- Last Active Jul 20th 2010

- Discussion Type
- discussion topicBianchi identity
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 20th 2010

- Discussion Type
- discussion topicFrobenius, separable, semisimple and simple algebras
- Category Latest Changes
- Started by John Baez
- Comments 10
- Last comment by John Baez
- Last Active Jul 20th 2010

- Discussion Type
- discussion topiccreating standout boxes on personal webs
- Category Lab Elf News
- Started by Todd_Trimble
- Comments 5
- Last comment by Todd_Trimble
- Last Active Jul 20th 2010

- Discussion Type
- discussion topichypermonoid
- Category Latest Changes
- Started by Todd_Trimble
- Comments 4
- Last comment by TobyBartels
- Last Active Jul 20th 2010

- Discussion Type
- discussion topicLie categories, Lie groupoids, and their oo-versions
- Category Mathematics, Physics & Philosophy
- Started by domenico_fiorenza
- Comments 9
- Last comment by Urs
- Last Active Jul 19th 2010

- Discussion Type
- discussion topiccorrecting errors
- Category nLab General Discussions
- Started by Mike Shulman
- Comments 7
- Last comment by Andrew Stacey
- Last Active Jul 19th 2010

- Discussion Type
- discussion topicError report: `\cdot` doesn't work in iTeX.
- Category n-Forum
- Started by TobyBartels
- Comments 3
- Last comment by Andrew Stacey
- Last Active Jul 18th 2010

- Discussion Type
- discussion topiccosmic cube
- Category Latest Changes
- Started by David_Corfield
- Comments 31
- Last comment by Mike Shulman
- Last Active Jul 17th 2010

- Discussion Type
- discussion topicDialectics and Duality
- Category Mathematics, Physics & Philosophy
- Started by Stephen Britton
- Comments 4
- Last comment by Stephen Britton
- Last Active Jul 16th 2010

- Discussion Type
- discussion topichyperring
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by Todd_Trimble
- Last Active Jul 15th 2010

- Discussion Type
- discussion topicNew mathematics contents
- Category Latest Changes
- Started by TobyBartels
- Comments 27
- Last comment by zskoda
- Last Active Jul 15th 2010

- Discussion Type
- discussion topicTwo new pages
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Jul 15th 2010

- Discussion Type
- discussion topicdiamond lemma
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Jul 14th 2010

- Discussion Type
- discussion topicNew page: G-norms
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Jul 13th 2010

- Discussion Type
- discussion topic0-site
- Category Latest Changes
- Started by Urs
- Comments 20
- Last comment by TobyBartels
- Last Active Jul 13th 2010

- Discussion Type
- discussion topic(2,2)-sheaves, or, Baković's 2-espaces étalé
- Category Latest Changes
- Started by DavidRoberts
- Comments 4
- Last comment by DavidRoberts
- Last Active Jul 13th 2010

- Discussion Type
- discussion topicFreyd cover
- Category Latest Changes
- Started by David_Corfield
- Comments 2
- Last comment by Todd_Trimble
- Last Active Jul 12th 2010

- Discussion Type
- discussion topic2-site
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by Mike Shulman
- Last Active Jul 10th 2010

- Discussion Type
- discussion topicPlethysm
- Category Latest Changes
- Started by John Baez
- Comments 55
- Last comment by Todd_Trimble
- Last Active Jul 10th 2010

- Discussion Type
- discussion topiclocally finitely presentable categories
- Category Latest Changes
- Started by John Baez
- Comments 17
- Last comment by Todd_Trimble
- Last Active Jul 10th 2010

- Discussion Type
- discussion topic3-groupoid
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Eric
- Last Active Jul 10th 2010

- Discussion Type
- discussion topicQuillen equivalences, adjoint equivalences
- Category Mathematics, Physics & Philosophy
- Started by Harry Gindi
- Comments 1
- Last comment by Harry Gindi
- Last Active Jul 9th 2010

- Discussion Type
- discussion topicSuggestions for Forum decorum
- Category n-Forum
- Started by TobyBartels
- Comments 11
- Last comment by Harry Gindi
- Last Active Jul 9th 2010

- Discussion Type
- discussion topicMore new pages
- Category Latest Changes
- Started by TobyBartels
- Comments 6
- Last comment by TobyBartels
- Last Active Jul 9th 2010

- Discussion Type
- discussion topicSchur functors
- Category Latest Changes
- Started by John Baez
- Comments 87
- Last comment by Todd_Trimble
- Last Active Jul 9th 2010

- Discussion Type
- discussion topicNew pages and terminology clashes
- Category Latest Changes
- Started by Stephen Britton
- Comments 22
- Last comment by Stephen Britton
- Last Active Jul 9th 2010

- Discussion Type
- discussion topiccenter of an abelian category
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Jul 8th 2010

- Discussion Type
- discussion topicNew stub: prime numbers
- Category Latest Changes
- Started by TobyBartels
- Comments 7
- Last comment by Ian_Durham
- Last Active Jul 8th 2010

- Discussion Type
- discussion topicPlanar Algebra
- Category Latest Changes
- Started by David_Corfield
- Comments 4
- Last comment by Urs
- Last Active Jul 8th 2010

- Discussion Type
- discussion topicDatabase of Categories
- Category Mathematics, Physics & Philosophy
- Started by Andrew Stacey
- Comments 30
- Last comment by Stephen Britton
- Last Active Jul 7th 2010

- Discussion Type
- discussion topicreal closed field
- Category Latest Changes
- Started by Todd_Trimble
- Comments 1
- Last comment by Todd_Trimble
- Last Active Jul 6th 2010