Poly: An Abundant Categorical Setting for Mode-Dependent Dynamics