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-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality 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 integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories newpage 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 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 topicequivariant PL de Rham theorem
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 25th 2020

- 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 Sep 25th 2020

the equivariant generalization of the

*fundamental theorem of dg-algebraic rational homotopy theory*

- Discussion Type
- discussion topicequivariant homotopy type
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 25th 2020

- 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 Sep 25th 2020

the equivariant generalization of the

*Quillen adjunction between simplicial sets and connective dgc-algebras*

- Discussion Type
- discussion topicmodel structure on equivariant chain complexes
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 25th 2020

- Discussion Type
- discussion topicequivariant chain complex
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 25th 2020

- Discussion Type
- discussion topicequivariant dgc-algebra
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 25th 2020

- Discussion Type
- discussion topicequivariant PL de Rham complex
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 25th 2020

to go with

*PL de Rham complex*and with*dual vector G-space*.Not sure about the best terminology.

- Discussion Type
- discussion topicrational vector space
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 25th 2020

- Discussion Type
- discussion topicWeyl group
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Sep 25th 2020

- Discussion Type
- discussion topicdifferential K-theory
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Sep 24th 2020

I have expanded the list of references at

*differential K-theory*with a few comments thrown in.

- Discussion Type
- discussion topicMU
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 24th 2020

added these pointers:

Victor Buchstaber,

*The Chern–Dold character in cobordisms. I*,Russian original: Mat. Sb. (N.S.), 1970 Volume 83(125), Number 4(12), Pages 575–595 (mathnet:3530)

English translation: Mathematics of the USSR-Sbornik, Volume 12, Number 4, AMS 1970 (doi:10.1070/SM1970v012n04ABEH000939)

Victor Buchstaber, A. P. Veselov,

*Chern-Dold character in complex cobordisms and abelian varieties*(arXiv:2007.05782)

- Discussion Type
- discussion topictwisted differential K-theory
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Sep 21st 2020

added some lines on the relation to D-brane charge (spun off from additions I just made to

*twisted differential cohomoloy*), and added more references

- Discussion Type
- discussion topicdichotomy between nice objects and nice categories
- Category Latest Changes
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active Sep 21st 2020

- Discussion Type
- discussion topicdoublet-triplet splitting problem
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Sep 21st 2020

**Edit to**: doublet-triplet splitting problem by Urs Schreiber at 2018-04-01 00:58:11 UTC.**Author comments**:added textbook reference

- Discussion Type
- discussion topicZhen Lin Low
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 4
- Last comment by Oscar_Cunningham
- Last Active Sep 20th 2020

- Discussion Type
- discussion topicmodality
- Category Latest Changes
- Started by Urs
- Comments 48
- Last comment by David_Corfield
- Last Active Sep 20th 2020

added to

*modality*a minimum of pointers to the meaning in philosophy (Kant).

- Discussion Type
- discussion topicHeyting category
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by DavidRoberts
- Last Active Sep 20th 2020

Added a mentioning of the term

*logos*at the beginning of*Heyting category*.

- Discussion Type
- discussion topicSpecker sequence
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Sep 19th 2020

- Discussion Type
- discussion topicDold-Kan correspondence
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by Tim_Porter
- Last Active Sep 19th 2020

added reference to dendroidal version of Dold-Kan correspondence

- Discussion Type
- discussion topicorientifold
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Sep 18th 2020

added to orientifold some basic notions on orientifold circle $n$-bundles.

- Discussion Type
- discussion topicσ-meson
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by Urs
- Last Active Sep 18th 2020

- Discussion Type
- discussion topicpseudomonoid
- Category Latest Changes
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active Sep 17th 2020

- Discussion Type
- discussion topicsymmetric monoidal category
- Category Latest Changes
- Started by Urs
- Comments 32
- Last comment by Mike Shulman
- Last Active Sep 17th 2020

added to symmetric monoidal category a new Properties-section As models for connective spectra with remarks on the theorems by Thomason and Mandell.

- Discussion Type
- discussion topicMath-Phys-Cat
- Category Latest Changes
- Started by Yuri Ximenes Martins
- Comments 16
- Last comment by Yuri Ximenes Martins
- Last Active Sep 17th 2020

- Discussion Type
- discussion topicGUT
- Category Latest Changes
- Started by Urs
- Comments 18
- Last comment by Urs
- Last Active Sep 17th 2020

**Edit to**: GUT by Urs Schreiber at 2018-04-01 01:21:13 UTC.**Author comments**:added pointer to textbook account

- Discussion Type
- discussion topicleptonic decay
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Sep 17th 2020

- Discussion Type
- discussion topicDalitz decay
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Sep 17th 2020

- Discussion Type
- discussion topicKalb-Ramond field
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Sep 17th 2020

expanded and polished Kalb-Ramond field. In particular I added more references.

- Discussion Type
- discussion topicequivalence of 2-categories
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Richard Williamson
- Last Active Sep 16th 2020

I have received an email asking for clarification at the (old) entry

*equivalence of 2-categories*, as to the meaning of “essentially full”. I have briefly added a parenthetical “i.e. essentially surjective on hom-categories”. But the entry deserves to be expanded a bit more, maybe somebody feels inspired to do so?