A compositional framework for classical kinematic systems

Abstract: Our aim is to introduce a category-theoretic framework sufficiently general to describe a wide variety of open kinematic systems in classical mechanics while uniquely characterizing systems with specified simplest components. The framework models open systems as morphisms in a category $\mathsf{Kin}(\mathcal{F})$, where composition encodes relationships between subsystems and their embedding into larger systems. Unlike previous approaches, the framework supports a precise treatment of geometric constraints, enabling the characterization of systems with feedback. A consequence is a structural formulation of lower kinematic pairs that clarifies system interactions.