differential cohomology in an (∞,1)-topos -- survey
structures in an (∞,1)-topos
shape
cohomology
cocycle/characteristic class
twisted cohomology
principal ∞-bundle
∞-vector bundle
homotopy
covering ∞-bundles
Postnikov system
path ∞-groupoid
geometric realization
Galois theory
internal homotopy ∞-groupoid?
Whitehead system
rational homotopy
∞-Lie algebroid
ordinary rational homotopy
internal rational homotopy
Chern-character
differential cohomology
flat differential cohomology
de Rham cohomology
de Rham theorem
relative theory over a base
relative homotopy theory
Lie theory
(…)
Background fields in twisted differential nonabelian cohomology
Differential twisted String and Fivebrane structures
D'Auria-Fre formulation of supergravity
Edit this sidebar
∞-Lie theory
∞-Lie groupoid
Chevalley-Eilenberg algebra
Weil algebra
∞-Lie differentiation and integration
infinitesimal path ∞-groupoid?
integration of ∞-Lie algebroid valued differential forms
invariant polynomial
differential cohomology in an (∞,1)-topos
∞-Lie algebroid valued differential forms
curvature?
integration
Cartan-Ehresmann ∞-connection
(…the Bianchi identity on curvature forms in differential twisted cohomology…)