differential cohomology in an (∞,1)-topos
structures in an (∞,1)-topos
shape
cohomology
cocycle/characteristic class
principal ∞-bundle
∞-vector bundle
homotopy
covering ∞-bundles
Postnikov system
homotopy ∞-groupoid
geometric realization
Galois theory
internal homotopy ∞-groupoid
Whitehead system
rational homotopy
∞-Lie algebroid (internal)
ordinary rational homotopy
internal rational homotopy
Chern-character
differential cohomology
flat differential cohomology
de Rham cohomology
de Rham theorem
Ehresmann ∞-connection
with groupal coefficients
with general coefficients
Chern-Weil theory
∞-Lie algebroid valued differential forms
invariant polynomial on ∞-Lie algebroid
Cartan-Ehresmann connection
principal bundles with connection and differential K-theory
principal 2-bundles with connection
Background fields in twisted differential nonabelian cohomology
Differential twisted String and Fivebrane structures
D'Auria-Fre formulation of supergravity
Edit this sidebar