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 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 nforum 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 sheaves 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 topiclocally presentable vs. presentable
- Category Mathematics, Physics & Philosophy
- Started by Todd_Trimble
- Comments 7
- Last comment by Mike Shulman
- Last Active Nov 30th 2012

- Discussion Type
- discussion topica precise definition of the richest possible structure on homology
- Category Mathematics, Physics & Philosophy
- Started by amg
- Comments 9
- Last comment by amg
- Last Active Nov 30th 2012

- Discussion Type
- discussion topic(oo,1)-quasitopos
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Mike Shulman
- Last Active Nov 30th 2012

- Discussion Type
- discussion topiccomputational consistency
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Nov 30th 2012

- Discussion Type
- discussion topicdescent along torsors
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Nov 29th 2012

- Discussion Type
- discussion topicaction functional
- Category Latest Changes
- Started by TobyBartels
- Comments 22
- Last comment by Urs
- Last Active Nov 28th 2012

- Discussion Type
- discussion topic(infinity,n)-topos / (infinity,n)-sheaf
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by Urs
- Last Active Nov 28th 2012

- Discussion Type
- discussion topicinternal (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 60
- Last comment by DavidRoberts
- Last Active Nov 28th 2012

- Discussion Type
- discussion topiccore in a 2-category
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Mike Shulman
- Last Active Nov 28th 2012

- Discussion Type
- discussion topicn-localic 2-topos
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Mike Shulman
- Last Active Nov 28th 2012

- Discussion Type
- discussion topicBn-geometry
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Todd_Trimble
- Last Active Nov 27th 2012

- Discussion Type
- discussion topicweak omega-groupoid
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Nov 27th 2012

- Discussion Type
- discussion topicroot
- Category Latest Changes
- Started by Todd_Trimble
- Comments 1
- Last comment by Todd_Trimble
- Last Active Nov 26th 2012

- Discussion Type
- discussion topicZuckerman induction
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Nov 26th 2012

- Discussion Type
- discussion topicquadratic reciprocity
- Category nLab General Discussions
- Started by Todd_Trimble
- Comments 8
- Last comment by TobyBartels
- Last Active Nov 26th 2012

- Discussion Type
- discussion topicA-infinity space
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by zskoda
- Last Active Nov 25th 2012

- Discussion Type
- discussion topiccohomological induction
- Category Latest Changes
- Started by zskoda
- Comments 14
- Last comment by Urs
- Last Active Nov 25th 2012

- Discussion Type
- discussion topicHoTT-Coq references
- Category nLab General Discussions
- Started by Stephan A Spahn
- Comments 2
- Last comment by Urs
- Last Active Nov 24th 2012

- Discussion Type
- discussion topicmodel structure for homotopy n-types
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Tim_Porter
- Last Active Nov 24th 2012

- Discussion Type
- discussion topicFrobenius reciprocity for 2-representations of finite groups
- Category Mathematics, Physics & Philosophy
- Started by domenico_fiorenza
- Comments 5
- Last comment by domenico_fiorenza
- Last Active Nov 22nd 2012

- Discussion Type
- discussion topicinfinity-image
- Category Latest Changes
- Started by Urs
- Comments 22
- Last comment by Urs
- Last Active Nov 22nd 2012

- Discussion Type
- discussion topichigher order sharp-concrete objects
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Nov 20th 2012

- Discussion Type
- discussion topicNatural equivalence
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 5
- Last comment by Mike Shulman
- Last Active Nov 20th 2012

- Discussion Type
- discussion topicBondal-Orlov reconstruction theorem
- Category Latest Changes
- Started by adeelkh
- Comments 3
- Last comment by adeelkh
- Last Active Nov 20th 2012

- Discussion Type
- discussion topicFraenkel model
- Category Latest Changes
- Started by DavidRoberts
- Comments 2
- Last comment by DavidRoberts
- Last Active Nov 19th 2012

- Discussion Type
- discussion topichomotopy actions
- Category nLab General Discussions
- Started by Tim_Porter
- Comments 10
- Last comment by jim_stasheff
- Last Active Nov 18th 2012

- Discussion Type
- discussion topicTheorem numbering
- Category nLab Technical Matters
- Started by TobyBartels
- Comments 25
- Last comment by jcmckeown
- Last Active Nov 17th 2012

- Discussion Type
- discussion topicAbraham Fraenkel
- Category Latest Changes
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active Nov 16th 2012

- Discussion Type
- discussion topicNew paper about WISC, and the indepence thereof from ZF et al
- Category Preprints & Publications
- Started by DavidRoberts
- Comments 8
- Last comment by DavidRoberts
- Last Active Nov 16th 2012

- Discussion Type
- discussion topicInternal anafunctors I
- Category Preprints & Publications
- Started by DavidRoberts
- Comments 27
- Last comment by DavidRoberts
- Last Active Nov 16th 2012

- Discussion Type
- discussion topicturnstile in table
- Category nLab Technical Matters
- Started by Stephan A Spahn
- Comments 5
- Last comment by Stephan A Spahn
- Last Active Nov 15th 2012

- Discussion Type
- discussion topican identity involving dependent sum/product and internal hom
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 12
- Last comment by Urs
- Last Active Nov 14th 2012

- Discussion Type
- discussion topicHamiltonian vector field
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Nov 13th 2012

- Discussion Type
- discussion topicFaà di Bruno formula
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Nov 13th 2012

- Discussion Type
- discussion topicsmooth homotopy type
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Nov 13th 2012

- Discussion Type
- discussion topicinfinitesimal Galois theory and differential modality
- Category Latest Changes
- Started by Urs
- Comments 27
- Last comment by zskoda
- Last Active Nov 13th 2012

- Discussion Type
- discussion topicDouble complex
- Category nLab General Discussions
- Started by Tim_Porter
- Comments 23
- Last comment by jim_stasheff
- Last Active Nov 13th 2012

- Discussion Type
- discussion topicTangent vectors
- Category nLab General Discussions
- Started by Andrew Stacey
- Comments 52
- Last comment by Todd_Trimble
- Last Active Nov 13th 2012

- Discussion Type
- discussion topicdisk
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Nov 13th 2012

- Discussion Type
- discussion topiclayers of foundations
- Category Latest Changes
- Started by Urs
- Comments 18
- Last comment by TobyBartels
- Last Active Nov 13th 2012

- Discussion Type
- discussion topicnon-Hausdorff manifold
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by TobyBartels
- Last Active Nov 13th 2012

- Discussion Type
- discussion topicLawvere references
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by DavidRoberts
- Last Active Nov 13th 2012

- Discussion Type
- discussion topiccodecogs
- Category n-Forum
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Nov 13th 2012

- Discussion Type
- discussion topicaffine algebra, affine variety
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Nov 12th 2012

- Discussion Type
- discussion topicBargmann-Segal transform, Hall coherent state
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Nov 12th 2012

- Discussion Type
- discussion topicdifferential Galois theory
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Nov 12th 2012

- Discussion Type
- discussion topicdifferential algebra
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Nov 12th 2012

- Discussion Type
- discussion topic2-framing
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Nov 12th 2012

- Discussion Type
- discussion topicAlex Heller
- Category Latest Changes
- Started by Tim_Porter
- Comments 18
- Last comment by Tim_Porter
- Last Active Nov 12th 2012

- Discussion Type
- discussion topicAndree Ehresmann
- Category Latest Changes
- Started by DavidRoberts
- Comments 3
- Last comment by DavidRoberts
- Last Active Nov 12th 2012

- Discussion Type
- discussion topiccartesian closure of n-fold categories?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 10
- Last comment by DavidRoberts
- Last Active Nov 12th 2012

- Discussion Type
- discussion topicZoran: new entries
- Category Latest Changes
- Started by zskoda
- Comments 250
- Last comment by zskoda
- Last Active Nov 12th 2012

- Discussion Type
- discussion topictangent Lie algebra, Chevalley group
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Nov 11th 2012

- Discussion Type
- discussion topicspectral curve
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Nov 10th 2012

- Discussion Type
- discussion topicToda Bracket and Massey Product
- Category Latest Changes
- Started by jcmckeown
- Comments 5
- Last comment by zskoda
- Last Active Nov 9th 2012

- Discussion Type
- discussion topicCafé closed
- Category nLab General Discussions
- Started by Tim_Porter
- Comments 6
- Last comment by Tim_Porter
- Last Active Nov 9th 2012

- Discussion Type
- discussion topic∞-manifold
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Nov 8th 2012

- Discussion Type
- discussion topicinterval object
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Stephan A Spahn
- Last Active Nov 8th 2012

- Discussion Type
- discussion topicsearching for numbered Definitions/Theorems
- Category n-Forum
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Nov 8th 2012

- Discussion Type
- discussion topictensors as representations
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Nov 8th 2012