Actegories for the Working Amthematician — Matteo Capucci & Bruno Gavranović (2022). arXiv:2203.16351 (v3, PDF).
A reference on actions of monoidal categories on categories (actegories): basic definitions and results, biactegories, tensor products and the hom-tensor adjunction, and monoidal, braided and symmetric monoidal actegories — the structure underlying Para and mixed optics.
Sources: the paper, arXiv:2203.16351v3, checked against the arXiv listing. Index: Papers.
Key definitions and results
- Definitions of actegories and their morphisms; monoidal actegories