# Schreiber Higher Prequantum Geometry

This is an expository survey of

and its formalization in differential cohomology in a cohesive topos.

Related surveys include

Related talk slides include

$\,$

$\,$

Related projects:

Last revised on March 23, 2021 at 03:13:16. See the history of this page for a list of all contributions to it.