可达范畴理论中的虚拟概念

摘要：富集可达范畴的新特征化：虚拟反射性和虚拟正交性的引入是对本地可呈现范畴的通常反射性和正交性条件的一般化。虚拟一词指的是反射性和正交性条件是在$mathcal V$-范畴的自由完成中给出的，而不是在$mathcal V$-范畴本身中给出的。通过这种方式，我们希望提供对该理论的更清晰的理解以及识别可达$mathcal V$-范畴的有用方法。在最后一节中，我们证明可达$mathcal V$-范畴的2-范畴、可达$mathcal V$-函子和$mathcal V$-自然变换具有所有灵活的极限。

作者：Stephen Lack and Giacomo Tendas

论文ID：2205.11056

分类：Category Theory

分类简称：math.CT

提交时间：2022-07-29

PDF 下载： 英文版 中文版pdf翻译中