  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.
