TY - RPRT TI - A Lax Functorial Definition of Open Dynamics AU - Stéphane Dugowson PY - 2018 UR - https://arxiv.org/abs/1805.11369 ID - 1805.11369 ER -