论文标题
转弯光学器件
Cornering Optics
论文作者
论文摘要
我们表明，单体类别中的光学类别自然来自该类别的自由转弯。此外，我们表明，单体类别的自由转弯是一种自然环境，可以在该类别上使用梳子图。自由转弯承认了直观的图形微积分，鉴于我们的工作可以用来推理光学和梳子图。
We show that the category of optics in a monoidal category arises naturally from the free cornering of that category. Further, we show that the free cornering of a monoidal category is a natural setting in which to work with comb diagrams over that category. The free cornering admits an intuitive graphical calculus, which in light of our work may be used to reason about optics and comb diagrams.
