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 bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 kan 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 newpage nlab nonassociative noncommutative noncommutative-geometry number-theory object 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 string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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 topictaboo
- Category Latest Changes
- Started by Mike Shulman
- Comments 13
- Last comment by NikolajK
- Last Active Dec 20th 2021

- Discussion Type
- discussion topicFibonacci numbers
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Dec 20th 2021

- Discussion Type
- discussion topiclocal field
- Category Latest Changes
- Started by Todd_Trimble
- Comments 26
- Last comment by Urs
- Last Active Dec 20th 2021

- Discussion Type
- discussion topicring of integers
- Category Latest Changes
- Started by Urs
- Comments 26
- Last comment by Hurkyl
- Last Active Dec 20th 2021

- Discussion Type
- discussion topicDerek Krepski
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 20th 2021

- Discussion Type
- discussion topic2-trivial model structure
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by Richard Williamson
- Last Active Dec 20th 2021

- Discussion Type
- discussion topicD-topology
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Dec 20th 2021

- Discussion Type
- discussion topicJ. W. S. Cassels
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 19th 2021

- Discussion Type
- discussion topicAlbrecht Fröhlich
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 19th 2021

- Discussion Type
- discussion topicalgebraic number theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 19th 2021

- Discussion Type
- discussion topicD=2 CFT as functorial field theory -- references
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Dec 19th 2021

- Discussion Type
- discussion topicHomotopy Limit Functors on Model Categories and Homotopical Categories
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Dec 19th 2021

- Discussion Type
- discussion topicdependent product type
- Category Latest Changes
- Started by David_Corfield
- Comments 2
- Last comment by varkor
- Last Active Dec 19th 2021

- Discussion Type
- discussion topicdependent product natural deduction - table
- Category Latest Changes
- Started by varkor
- Comments 1
- Last comment by varkor
- Last Active Dec 19th 2021

- Discussion Type
- discussion topic(infinity,n)-category of cobordisms
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 19th 2021

- Discussion Type
- discussion topicBernardo Uribe
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 19th 2021

- Discussion Type
- discussion topicHigher categories and homotopical algebra
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 2
- Last comment by Urs
- Last Active Dec 19th 2021

- Discussion Type
- discussion topicgeometric realization of categories
- Category Latest Changes
- Started by nLab edit announcer
- Comments 7
- Last comment by Dmitri Pavlov
- Last Active Dec 18th 2021

- Discussion Type
- discussion topicdirected limit
- Category Latest Changes
- Started by jesuslop
- Comments 1
- Last comment by jesuslop
- Last Active Dec 18th 2021

- Discussion Type
- discussion topicmutations of exceptional collections
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by David_Corfield
- Last Active Dec 18th 2021

- Discussion Type
- discussion topicempty 211
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by Urs
- Last Active Dec 17th 2021

- Discussion Type
- discussion topiccut rule
- Category Latest Changes
- Started by Urs
- Comments 23
- Last comment by nLab edit announcer
- Last Active Dec 17th 2021

- Discussion Type
- discussion topicsimplicial classifying space
- Category Latest Changes
- Started by Urs
- Comments 32
- Last comment by Tim_Porter
- Last Active Dec 17th 2021

- Discussion Type
- discussion topiclocally presentable category
- Category Latest Changes
- Started by Tobias Fritz
- Comments 11
- Last comment by varkor
- Last Active Dec 17th 2021

- Discussion Type
- discussion topichistorical note on characteristic classes
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Dec 17th 2021

- Discussion Type
- discussion topicinfrared divergence
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicsheaf toposes are equivalently the left exact reflective subcategories of presheaf toposes
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicMarc Hoyois
- Category Latest Changes
- Started by Marc Hoyois
- Comments 1
- Last comment by Marc Hoyois
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicelementary (infinity,1)-topos
- Category Latest Changes
- Started by David_Corfield
- Comments 89
- Last comment by Urs
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicQuillen plus construction
- Category Latest Changes
- Started by Tim_Porter
- Comments 3
- Last comment by Tim_Porter
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicYuhma Asano
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicIKKT matrix model
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by Urs
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicperfect group
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Tim_Porter
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicHajime Ishihara
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicreverse mathematics
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicHannes Diener
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicconstructive mathematics
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicMichael J. Beeson
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 16th 2021

- Discussion Type
- discussion topicepimorphism in an (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Dec 15th 2021

- Discussion Type
- discussion topiccobordism hypothesis
- Category Latest Changes
- Started by Urs
- Comments 55
- Last comment by Urs
- Last Active Dec 15th 2021

- Discussion Type
- discussion topicmonomorphism in an (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Dec 15th 2021

- Discussion Type
- discussion topicJoseph-Louis Lagrange
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 15th 2021

- Discussion Type
- discussion topicLagrange's theorem
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 15th 2021

- Discussion Type
- discussion topicp-torsion
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by Richard Williamson
- Last Active Dec 15th 2021

- Discussion Type
- discussion topiccrossed homomorphism
- Category Latest Changes
- Started by Urs
- Comments 36
- Last comment by Urs
- Last Active Dec 15th 2021

- Discussion Type
- discussion topichomotopy fixed point
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Dec 15th 2021

- Discussion Type
- discussion topicgroup actions on spheres
- Category Latest Changes
- Started by Urs
- Comments 26
- Last comment by Urs
- Last Active Dec 15th 2021

- Discussion Type
- discussion topicGeometry of Interaction
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by nLab edit announcer
- Last Active Dec 15th 2021

- Discussion Type
- discussion topiclift
- Category Latest Changes
- Started by David_Corfield
- Comments 14
- Last comment by Richard Williamson
- Last Active Dec 15th 2021

- Discussion Type
- discussion topicsign problem in lattice QCD
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Dec 14th 2021

- Discussion Type
- discussion topicfixed-point combinator
- Category Latest Changes
- Started by Todd_Trimble
- Comments 25
- Last comment by DavidRoberts
- Last Active Dec 13th 2021

- Discussion Type
- discussion topicpartial combinatory algebra
- Category Latest Changes
- Started by Todd_Trimble
- Comments 8
- Last comment by joseville
- Last Active Dec 13th 2021

- Discussion Type
- discussion topictautological line bundle
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Dec 13th 2021

- Discussion Type
- discussion topicreductive Lie algebra
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Dec 13th 2021

- Discussion Type
- discussion topicPU(ℋ)
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Dec 13th 2021

- Discussion Type
- discussion topicsoft graviton theorem
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Dec 13th 2021

- Discussion Type
- discussion topic(p,q)5-brane
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by David_Corfield
- Last Active Dec 12th 2021

- Discussion Type
- discussion topicBayesian reasoning
- Category Latest Changes
- Started by David_Corfield
- Comments 3
- Last comment by David_Corfield
- Last Active Dec 12th 2021

- Discussion Type
- discussion topicMay recognition theorem
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Hurkyl
- Last Active Dec 10th 2021

- Discussion Type
- discussion topicexotic smooth structure
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by David_Corfield
- Last Active Dec 10th 2021