Compound Optics
Category Theory
2022-03-24 v1
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 on co-presheaves.
Cite
@article{arxiv.2203.12022,
title = {Compound Optics},
author = {Bartosz Milewski},
journal= {arXiv preprint arXiv:2203.12022},
year = {2022}
}
Comments
9 pages