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 July 25, 2023 at 20:12:37. See the history of this page for a list of all contributions to it.