二维双函子定理与分配律
摘要：两个拥有相同共域的伪函子家族满足特定条件后，它们可以合并成为双函子。在说明这些条件与单子的分配律之间的相似之处后，我们提供了一个统一框架，可以从中推导出这两个结果。我们通过证明弱函子的双函子定理的一个版本来做到这一点。然后，我们证明这些广义分配律可以被归类为一个2-范畴Dist(B,C,D)，它与Lax(B,Lax(C,D))等价。将一个分配律合并到其相关的双函子中，可以扩展为一个2-函子进入Lax(B⨂C, D)，这对应于通过前面提到的等价进行非柯里化。我们还描述了一些自然范畴构造作为我们结果的特殊情况。
作者：Peter F. Faul, Graham Manuell, Jose Siqueira
论文ID：2010.07926
分类：Category Theory
分类简称：math.CT
提交时间：2021-12-28