Synthetic prequantum field theory in a cohesive homotopy topos
Apparaît dans la collection : Topos à l'IHES
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.
