# Schreiber nonabelian de Rham cohomology

In a ∞-connected (∞,1)-topos $\mathbf{H}$ a cocycle in (nonabelian) de Rham cohomology is a cocycle $\mathbf{\Pi}(X) \to A$ in flat differential cohomology whose underlying cocycle $X \hookrightarrow \mathbf{\Pi}(X) \to A$ in (nonabelian) cohomology is trivial: it encodes a trivial principal ∞-bundle with possibly nontrivial but flat connection.

Details are at

Revised on July 19, 2010 11:52:54 by Urs Schreiber (131.211.36.96)