  This is a survey of motivations, constructions and applications of higher
prequantum geometry. In section 1 we highlight the open problem of
prequantizing local field theory in a local and gauge invariant way, and we
survey how a solution to this problem exists in higher differential geometry.
In section 2 we survey examples and problems of interest. In section 3 we
survey the abstract cohesive homotopy theory that serves to make all this
precise and tractable.
