论文标题
复合光学器件
Compound Optics
论文作者
论文摘要
简单的光学器件是使用单类别类别的动作来定义的。例如，复合光学元件作为多项式函子之间的自然变换。由于单体类别是生物学的特殊情况，因此我们使用生物的作用来制定复杂的光学元件。我们表明，多项式光学是由bicateGory $ \ mathbf {prof} $在共蛋白上的作用定义的复杂光学元件的特殊情况。
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.
