Schreiber
Higher geometric prequantization