A long theory paper on actions of monoidal categories and their properties. We describe distributive laws between monoidal and actegorical structures and provide examples of their use in the theory of optics and parametric morphisms.
A long theory paper on actions of monoidal categories and their properties. We describe distributive laws between monoidal and actegorical structures and provide examples of their use in the theory of optics and parametric morphisms.