双范畴视角下的结构化和装饰余笛语
摘要：结构化和装饰余核是广泛适用于构建开放系统的双范畴或双范畴的框架。我们使用双范畴理论的核心概念对这些框架进行了简化和推广。我们证明，在温和的假设下，结构化余核的双范畴是余卡迪尔范畴（具有有限的双范畴余合）并且是设备。证明非常简单，因为它们利用了适当的双范畴通用性质。我们从同一视角研究了结构化余核的双范畴之间的映射。然后，我们利用最近引入的双Grothendieck构造给出了装饰余核的双范畴的新构造。除了概念上的价值之外，这种重构还导致了装饰余核的自然推广，我们通过统计理论和其他过程理论的一个例子来说明这一点。
作者：Evan Patterson
论文ID：2304.00447
分类：Category Theory
分类简称：math.CT
提交时间：2023-07-06