flat differential cohomology
In a locally contractible (∞,1)-topos with internal path ∞-groupoid functor , the flat differential cohomology of an object with coefficient in an object is the -cohomology of the path ∞-groupoid :
The constant path inclusion induces a morphism
which sends a flat differential cocycle to its underlying or bare cocycle.
The obstruction theory for lifts through this morphism is the differential cohomology of .
See differential cohomology in an (∞,1)-topos for more details.
Revised on May 29, 2012 22:04:00
by Andrew Stacey