Organising Compositionality in Classical Mechanics
Date:
We develop a compositional framework for classical mechanics using spans of smooth spaces carrying closed 2-forms, separating mechanical systems from the choices used to assemble them. Through explicit spring examples, tensoring places systems side by side while loose spans act by pullback to impose interactions, allowing the same components to produce different mechanical systems and motivating extensions toward Hamiltonian dynamics. Video