透镜范畴中的极限与余极限
范畴论
2022-11-04 v2
摘要
透镜是应用范畴论中的一个重要工具。虽然单个透镜已广泛应用于各种场景，但相应透镜范畴的许多数学性质仍属未知。本文研究小范畴与非对称 delta 透镜的范畴，并证明它具有若干良好的正合性性质。这些性质包括某些极限与余极限的存在性，以及所谓导入极限（如导入积与导入拉回），后者此前已在应用中出现。该范畴也被证明是广余的，并且具有像分解系统。
引用
@article{arxiv.2105.05422,
title = {Limits and Colimits in a Category of Lenses},
author = {Emma Chollet and Bryce Clarke and Michael Johnson and Maurine Songa and Vincent Wang and Gioele Zardini},
journal= {arXiv preprint arXiv:2105.05422},
year = {2022}
}
备注
In Proceedings ACT 2021, arXiv:2211.01102