TY - RPRT TI - Classical field theory via Cohesive homotopy types AU - Urs Schreiber PY - 2013 UR - https://arxiv.org/abs/1311.1172 ID - 1311.1172 ER -