变异函子：启发性自然性和与端的联系
摘要：类别中的一种方差的概念被引入为一个双侧的严格因子化系统。通过利用方差，我们在比通常所考虑的更一般的场景中定义了方差函子，从而消除了其域必须是乘积类别的需要。我们定义了方差函子之间的启发式自然变换，它们的域通过一个跨距连接。启发式自然性包括各种已知类型的自然性，如对角线、非凡和扭曲自然性。 我们展示了启发式自然性与广义逗号范畴之间的联系，揭示了启发式自然变换与从广义逗号范畴的遗忘函子的截面之间的双射对应关系。此外，我们引入了以启发式变换为基础的极限概念。这就是“端”概念。我们证明了可以通过乘积和等化器来计算端，并且Fubini定理仍然适用于端。
作者：David Forsman
论文ID：2305.05361
分类：Category Theory
分类简称：math.CT
提交时间：2023-05-10