@misc{indiciae8f8f98c6194b, title = {A Lax Functorial Definition of Open Dynamics}, author = {Stéphane Dugowson}, year = {2018}, url = {https://arxiv.org/abs/1805.11369}, note = {Source identifier: 1805.11369} }