开放函子的双范畴
摘要：替换类别、函子和自然变换为类别、开放函子和开放自然变换。类比于开放动力系统，这里添加了开放形容词，意味着考虑了一些外部信息。对于作者的特定用途，这样的开放函子由两个组件描述：一个预层表示每个输入可能的外部影响，和一个从该预层的元素范畴到结果范畴的经典函子。考虑适当的合成概念会导出一个双范畴。本报告旨在尽可能简洁地描述这个双范畴，并详细说明建立该双范畴所需的所有证明细节。后续报告将提供该双范畴的其他展示方式，并与其他已有的构造进行比较，例如跨度、纤维化、伪伴随、伪单子范畴的Kleisli双范畴，以及Profunctors（或Distributors）。
作者：Alexandre Fernandez (LACL), Luidnel Maignan (LACL), Antoine Spicher (LACL)
论文ID：2102.08051
分类：Category Theory
分类简称：math.CT
提交时间：2021-02-17