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



Revised on July 23, 2016 01:45:36 by Urs Schreiber (130.180.91.10)