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

(0 2-category 2-category-theory abelian-categories accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundle bundles calculus categories category category-theory chern-simons-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimit combinatorics complex complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology deformation-theory derived-geometry descent differential differential-cohomology differential-geometry dold fibration duality elliptic-cohomology enriched factorization-system fibration foundations functional-analysis functor galois-theory gauge-theory gebra general topology geoemtry geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geoemtry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration-theory internal-categories k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure measure-theory meta modal-logic model model-category-theory monoidal monoidal-category monoidal-category-theory morphism motives motivic-cohomology n-groups newpage nonassociative noncommutative noncommutative-geometry number-theory operator operator-algebra order-theory 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 set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string-theory subobject supergeometry symplectic-geometry synthetic-differential-geometry tannaka terminology theory topology topos topos-theory tqft type-theory 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 topicGallozzi on weak Tarskian homotopy type universes
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by DavidRoberts
- Last Active 1 hour ago

- Discussion Type
- discussion topicexternal tensor product and fully dualizable objects
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 44
- Last comment by Mike Shulman
- Last Active 2 hours ago

- Discussion Type
- discussion topicVopenka's principle
- Category Latest Changes
- Started by Mike Shulman
- Comments 3
- Last comment by Zhen Lin
- Last Active 11 hours ago

- Discussion Type
- discussion topiccd-structure
- Category Latest Changes
- Started by adeelkh
- Comments 5
- Last comment by Marc Hoyois
- Last Active 12 hours ago

- Discussion Type
- discussion topicobject A1 exhibiting cohesion
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active 18 hours ago

- Discussion Type
- discussion topicDelta^1-localization of simplicial spaces
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 7
- Last comment by Mike Shulman
- Last Active 1 day ago

- Discussion Type
- discussion topicbroken redirect "types"
- Category nLab Technical Matters
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topiccubical set
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicunpopularity of category theory
- Category Mathematics, Physics & Philosophy
- Started by zskoda
- Comments 32
- Last comment by trent
- Last Active 2 days ago

- Discussion Type
- discussion topicEffective Epi's of Associative Ring Spectra
- Category Mathematics, Physics & Philosophy
- Started by Jon Beardsley
- Comments 2
- Last comment by Dmitri Pavlov
- Last Active 2 days ago

- Discussion Type
- discussion topicAn elementrary question
- Category nLab General Discussions
- Started by porton
- Comments 2
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicPrym-Tyurin variety
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topiccobordism hypothesis
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicexamples of SO-action on infinite loop space
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicEdited Symmetric Monoidal $(\infty,n)$-category
- Category Latest Changes
- Started by sanath
- Comments 8
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicA description of filters with left-exact functors
- Category nLab General Discussions
- Started by porton
- Comments 2
- Last comment by Todd_Trimble
- Last Active 4 days ago

- Discussion Type
- discussion topicProof that two definitions are equivalent (compact spaces)
- Category nLab General Discussions
- Started by porton
- Comments 3
- Last comment by porton
- Last Active 4 days ago

- Discussion Type
- discussion topicmodel structure on chain complexes
- Category Latest Changes
- Started by Tim_Porter
- Comments 3
- Last comment by Tim_Porter
- Last Active 4 days ago

- Discussion Type
- discussion topicGiry monad
- Category Latest Changes
- Started by zskoda
- Comments 4
- Last comment by Thomas Holder
- Last Active 5 days ago

- Discussion Type
- discussion topicSpaces of states
- Category Latest Changes
- Started by TobyBartels
- Comments 5
- Last comment by TobyBartels
- Last Active 5 days ago

- Discussion Type
- discussion topicSemi-abelian category
- Category Latest Changes
- Started by Tim_Porter
- Comments 3
- Last comment by David_Corfield
- Last Active 5 days ago

- Discussion Type
- discussion topicprotomodular category
- Category Latest Changes
- Started by David_Corfield
- Comments 2
- Last comment by David_Corfield
- Last Active 5 days ago

- Discussion Type
- discussion topicnumeral
- Category Latest Changes
- Started by Mike Shulman
- Comments 35
- Last comment by DavidRoberts
- Last Active 5 days ago

- Discussion Type
- discussion topicnoncommutative differential calculus
- Category Latest Changes
- Started by zskoda
- Comments 5
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicCan't create/edit a page
- Category nLab Technical Matters
- Started by Fosco
- Comments 11
- Last comment by Alexander
- Last Active 6 days ago

- Discussion Type
- discussion topicOptimizations
- Category nLab Technical Matters
- Started by adeelkh
- Comments 33
- Last comment by adeelkh
- Last Active 6 days ago

- Discussion Type
- discussion topiccohesive homotopy type theory
- Category Latest Changes
- Started by Urs
- Comments 27
- Last comment by Mike Shulman
- Last Active 6 days ago

- Discussion Type
- discussion topicWoronowicz
- Category Latest Changes
- Started by zskoda
- Comments 4
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topic(infinity,n)-catgeory of cobordisms
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topichigher geometry
- Category Latest Changes
- Started by Urs
- Comments 24
- Last comment by Mike Shulman
- Last Active Oct 14th 2014