光纤
摘要：光学、光学器件和相关光学器件（或等价地，容器的映射，或等价地，多项式函数的自然变换）在应用范畴论中被广泛用作双向过程的模型。从有限乘积范畴上透镜的定义开始，光学器件弱化了所需结构到幺半范畴的作用，而相关光学器件利用了有限完备性的附加属性（或在多项式的情况下，甚至得到局部笛卡尔闭性）。这在应用范畴论的文献中造成了使用光学器件和相关光学器件的分歧。本文的目标是通过找到一个定义纤维光学器件的方式，将光学器件和相关光学器件统一起来，并将它们作为特例。
作者：Dylan Braithwaite and Matteo Capucci and Bruno Gavranovi''c and Jules Hedges and Eigil Fjeldgren Rischel
论文ID：2112.11145
分类：Category Theory
分类简称：math.CT
提交时间：2021-12-22