透镜范畴中的极限和余极限
摘要：类别理论中的镜头是一个重要工具。虽然单个镜头在应用中被广泛使用，但相应的类别的许多数学性质仍未知。在本文中，我们研究了小类别和非对称的delta镜头的范畴，并证明它具有几个良好的精确性质。这些性质包括某些极限和余极限的存在，以及先前在应用中出现的所谓的导入极限，例如导入积和导入拉回。还证明了该范畴是广义的，并且具有图像因子分解系统。
作者：Emma Chollet, Bryce Clarke, Michael Johnson, Maurine Songa, Vincent Wang, Gioele Zardini
论文ID：2105.05422
分类：Category Theory
分类简称：math.CT
提交时间：2022-11-04