离散时间反馈的梳状图
Comb Diagrams for Discrete-Time Feedback
摘要：
在应用范畴论中，许多有用的双向结构（光学、学习器、游戏、量子梳）的数据可以用包含“洞”或“不完整部分”的图来表示，有时称为梳图。我们给出了一个可能的形式化这些电路与不完整的部分表示的对称monoidal范畴，使用的dinaturality等价关系所产生的coend。我们的主要思想是扩展这种形式化的描述，允许无限的电路与自然数索引的孔。我们展示了如何无限梳在一个任意的对称monoidal类别形式再次对称monoidal类别的延迟和反馈的概念可以被认为是。这里介绍的结构仍然是初步的工作。
英文摘要：
The data for many useful bidirectional constructions in applied category theory (optics, learners, games, quantum combs) can be expressed in terms of diagrams containing "holes" or "incomplete parts", sometimes known as comb diagrams. We give a possible formalization of what these circuits with incomplete parts represent in terms of symmetric monoidal categories, using the dinaturality equivalence relations arising from a coend. Our main idea is to extend this formal description to allow for infinite circuits with holes indexed by the natural numbers. We show how infinite combs over an arbitrary symmetric monoidal category form again a symmetric monoidal category where notions of delay and feedback can be considered. The constructions presented here are still preliminary work.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
