differential cohomology in an (∞,1)-topos
Relative theory over a base-topos#OverBase)
We apply the general formalism of differential cohomology - nonabelian case to the case of nonabelian cohomology with coeffients in the delooping of an ordinary nonabelian Lie group .
In particular, we consider the case that is the unitary group and show that in this case our general abstract nonsense definition reproduces the notions of Simons-Sullivan structured bundles with connection that may be used to model differential K-theory.
…