Benini, M., & Schenkel, A. (2017). Poisson algebras for non-linear field theories in the Cahiers topos. Annales Henri Poincaré, 18(4), 1435-1464. https://doi.org/10.1007/s00023-016-0533-2