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-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science connection constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal-logic model model-category-theory monads monoid monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories 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 science 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 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 topicsimplicial principal bundle
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Dmitri Pavlov
- Last Active 4 hours ago

- Discussion Type
- discussion topichigher-order logic
- Category Latest Changes
- Started by David_Corfield
- Comments 2
- Last comment by NikolajK
- Last Active 4 hours ago

- Discussion Type
- discussion topiceffective quantum field theory
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by NikolajK
- Last Active 5 hours ago

- Discussion Type
- discussion topicdagger category
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Tim Campion
- Last Active 12 hours ago

- Discussion Type
- discussion topiccofiber sequence
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 16 hours ago

- Discussion Type
- discussion topiccharacter map on twisted non-abelian cohomology
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 35
- Last comment by Urs
- Last Active 18 hours ago

- Discussion Type
- discussion topicmodel structure for L-infinity algebras
- Category Latest Changes
- Started by Urs
- Comments 20
- Last comment by Urs
- Last Active 19 hours ago

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

- Discussion Type
- discussion topicconvenient category of topological spaces
- Category Latest Changes
- Started by Todd_Trimble
- Comments 23
- Last comment by DavidRoberts
- Last Active 1 day ago

- Discussion Type
- discussion topicmodified Bernoulli number
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by nLab edit announcer
- Last Active 1 day ago

- Discussion Type
- discussion topicprojective resolution
- Category Latest Changes
- Started by Urs
- Comments 32
- Last comment by Urs
- Last Active 1 day ago

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

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

- Discussion Type
- discussion topicThe Joy of Cats
- Category Latest Changes
- Started by DavidRoberts
- Comments 2
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicKan extension
- Category Latest Changes
- Started by Mike Shulman
- Comments 53
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicequivariant Sullivan model
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicvector G-space
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicKähler manifold
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by nLab edit announcer
- Last Active 2 days ago

- Discussion Type
- discussion topicequivariant PL de Rham theorem
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicfundamental theorem of dg-algebraic equivariant rational homotopy theory
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicequivariant homotopy type
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicQuillen adjunction between equivariant simplicial sets and equivariant connective dgc-algebras
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicmodel structure on equivariant dgc-algebras
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

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

- Discussion Type
- discussion topicequivariant chain complex
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicequivariant dgc-algebra
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicequivariant PL de Rham complex
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicrational vector space
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicWeyl group
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicChern character
- Category Latest Changes
- Started by Urs
- Comments 42
- Last comment by Urs
- Last Active 3 days ago