Compound Optics
Abstract
Simple optics are defined using actions of monoidal categories. Compound optics arise, for instance, as natural transformations between polynomial functors. Since a monoidal category is a special case of a bicategory, we formulate complex optics using the action of a bicategory. We show that polynomial optics are a special case of complex optics defined by the action of bicategory $\mathbf{Prof}$ on co-presheaves.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2022
- DOI:
- 10.48550/arXiv.2203.12022
- arXiv:
- arXiv:2203.12022
- Bibcode:
- 2022arXiv220312022M
- Keywords:
-
- Mathematics - Category Theory
- E-Print:
- 9 pages