Urs Schreiber : "Synthetic prequantum field theory in a cohesive homotopy topos" (IHES, 27 novembre 2015)

Abstract : the homotopy topos over the site of formal supermanifolds carries a progression of 12 idempotent adjoint (co-)monads. These allow to synthetically formulate varitional calculus of local Lagrangian field theory and its higher pre-quantization.