透过依赖光学看到双重影像
摘要：Tambara模组是幺协范畴之间的强仿函。它们由Tambara在表示论的背景下进行了定义，但很快被发现Tambara模组提供了一种有用的编码方式，可以用于表示混合光学的模块化数据访问器。为了满足这些应用的需求，Tambara理论已经扩展到了具有幺协范畴作用的范畴之间的仿函。受依赖类型背景下光学的推广启发，我们在双范畴（即双索引范畴）的作用下进一步扩展了Tambara模组的理论，通过将它们定义为水平自然变换。在这个背景下，与混合光学的仿函表示定理相关的Pastro-Street理论中的定理和构造被重新获得。这重新得到了Vertechi和Milewski最近提出的依赖光学的定义，并且与作者及其合作者以前的工作有所暗合。
作者：Matteo Capucci
论文ID：2204.10708
分类：Category Theory
分类简称：math.CT
提交时间：2022-04-25