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 applications arithmetic beauty book bundle calculus categories category category-theory chern-simons-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology cohomolohy combinatorics comma complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology deformation-theory descent differential differential-cohomology differential-geometry dold fibration duality elliptic-cohomology enriched factorization-system fibration forms foundations functional-analysis functor galois-theory gauge-theory gebra general topology geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory homtopy-theory homtopy-type-theory index-theory integration-theory internal-categories k-theory kan lie-algebras lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure measure-theory meta modal-logic model model-category-theory monoidal-category monoidal-category-theory morphism motives motivic-cohomology n-groups newpage nforum 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 scheme set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject supergeometry symplectic-geometry tannaka terminology theory topology topos topos-theory torsor tqft type type-theory

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 topicspin orientation of Tate K-theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 hour ago

- Discussion Type
- discussion topiccontinued fraction
- Category Latest Changes
- Started by Todd_Trimble
- Comments 26
- Last comment by Noam_Zeilberger
- Last Active 1 hour ago

- Discussion Type
- discussion topicreal-oriented cohomology theory
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 3 hours ago

- Discussion Type
- discussion topicCogerm forms
- Category Latest Changes
- Started by TobyBartels
- Comments 33
- Last comment by Mike Shulman
- Last Active 4 hours ago

- Discussion Type
- discussion topicjet bundle
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by Mike Shulman
- Last Active 6 hours ago

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

- Discussion Type
- discussion topicGNS construction
- Category nLab General Discussions
- Started by Todd_Trimble
- Comments 4
- Last comment by zskoda
- Last Active 1 day ago

- Discussion Type
- discussion topicGrothendieck category
- Category Latest Changes
- Started by zskoda
- Comments 3
- Last comment by zskoda
- Last Active 1 day ago

- Discussion Type
- discussion topicmoduli space of connections
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicWitten genus
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topiccongruence subgroup
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicM-complete category
- Category Mathematics, Physics & Philosophy
- Started by Fosco
- Comments 8
- Last comment by Fosco
- Last Active 2 days ago

- Discussion Type
- discussion topicquery at contravariant functor
- Category Latest Changes
- Started by Tim_Porter
- Comments 3
- Last comment by Zhen Lin
- Last Active 2 days ago

- Discussion Type
- discussion topicmorphism of finite type
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by zskoda
- Last Active 2 days ago

- Discussion Type
- discussion topicFermat's little theorem
- Category Latest Changes
- Started by Colin Tan
- Comments 6
- Last comment by Colin Tan
- Last Active 2 days ago

- Discussion Type
- discussion topicbinomial theorem
- Category Latest Changes
- Started by Todd_Trimble
- Comments 3
- Last comment by Todd_Trimble
- Last Active 3 days ago

- Discussion Type
- discussion topicvon Neumann algebras
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 37
- Last comment by Todd_Trimble
- Last Active 3 days ago

- Discussion Type
- discussion topicDifferentiable maps
- Category Latest Changes
- Started by TobyBartels
- Comments 5
- Last comment by Mike Shulman
- Last Active 3 days ago

- Discussion Type
- discussion topicmultivariable differentiability
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 15
- Last comment by Mike Shulman
- Last Active 3 days ago

- Discussion Type
- discussion topicClosed Category, Category of V-enriched Categories
- Category Latest Changes
- Started by Vladimir_Sotirov
- Comments 6
- Last comment by Vladimir_Sotirov
- Last Active 4 days ago

- Discussion Type
- discussion topiclinear topological ring
- Category Latest Changes
- Started by Tim_Porter
- Comments 6
- Last comment by David_Corfield
- Last Active 4 days ago

- Discussion Type
- discussion topicGabriel-Popescu theorem
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active 4 days ago

- Discussion Type
- discussion topicsomething about profinite groups
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 3
- Last comment by Tim_Porter
- Last Active 5 days ago

- Discussion Type
- discussion topicString theory and the real world
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topiccategory of presheaves
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by Mike Shulman
- Last Active 5 days ago

- Discussion Type
- discussion topicKaroubian category
- Category Latest Changes
- Started by adeelkh
- Comments 16
- Last comment by Todd_Trimble
- Last Active 6 days ago

- Discussion Type
- discussion topicS-duality
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 6 days ago

- Discussion Type
- discussion topicSimpson's conjecture
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topicreal algebraic K-theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topicLab down
- Category nLab Technical Matters
- Started by TobyBartels
- Comments 412
- Last comment by Urs
- Last Active 7 days ago