关于松弛端点的注释
摘要：丰富的范畴论中，超自然变换的概念比普通自然变换更为基本，其中的端点，即通用的超自然变换，起着关键作用。另一方面，2-范畴论使用了其他几种自然变换，如松弛变换和伪变换。对于这些弱变换，已知我们可以定义相应的超自然变换或端点。然而，关于这种结果的详细文献很少。我们提供了对松弛端点的详细计算，包括它与松弛极限的关系。我们证明了双柯恩延拓引理是双柯恩延拓引理的对偶，并且还表明任何松弛端点的权重都是一个PIE权重，但它可能不是松弛极限的权重。
作者：Kengo Hirata
论文ID：2210.01522
分类：Category Theory
分类简称：math.CT
提交时间：2022-10-05