Loading paper
A Lax Functorial Definition of Open Dynamics | Tomesphere