摘要：用幺模范畴的作用来定义简单的光学器件。复合光学器件是多项式函子之间的自然变换。由于幺模范畴是双范畴的特殊情况，我们使用双范畴的作用来定义复杂的光学器件。我们展示了由双范畴$mathbf{Prof}$在协预层上的作用所定义的复杂光学器件是多项式光学器件的一个特例。
作者：Bartosz Milewski
论文ID：2203.12022
分类：Category Theory
分类简称：math.CT
提交时间：2022-03-24
PDF 下载： 英文版 中文版pdf翻译中