范畴与站点的态射与余态射 II —— 站点的分配子
范畴论
2025-07-29 v1
摘要
我们引入了站点分配子(distributor of sites)的概念,涉及适当的平坦性和覆盖保持类比,并证明了这一概念联合概括了站点态射和余态射的定义。给定两个站点,我们展示了它们之间站点分配子范畴与关联单值守恒范畴之间的余函数关系;该余函数限制为单值守恒与连续站点分配子之间的等价关系。我们最终讨论了站点的双范畴及其分配子范畴的某些类设备类属性。
引用
@article{arxiv.2507.20932,
title = {Morphisms and comorphisms of sites II -- Distributors of sites},
author = {Axel Osmond and Olivia Caramello},
journal= {arXiv preprint arXiv:2507.20932},
year = {2025}
}
备注
Larger second version coming soon