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:


Revised on September 28, 2017 17:40:09 by Urs Schreiber (188.105.77.106)