具有极限类别的可访问性范畴
摘要：在本文中，我们对具有指定类别极限的可访问$mathcal V$-范畴进行了表征。我们通过引入权重类$Psi$的配伍子$mathfrak C$的概念来完成这一点，作为与$Psi$兼容的特殊类型的余极限图的集合。然后，我们将具有$Psi$-极限的可访问$mathcal V$-范畴表征为可访问嵌入和$mathfrak C$-虚拟反射于预层$mathcal V$-范畴，并作为草图的$mathfrak C$-模型的$mathcal V$-范畴。这使我们能够将局部可表现、局部多可表现和局部多类型的范畴的标准定理作为同一通用框架的实例进行恢复。此外，我们的定理涵盖了任何弱健全类$Psi$的情况，并为弱局部可表现范畴的情况提供了新的视角。
作者：Stephen Lack and Giacomo Tendas
论文ID：2212.07135
分类：Category Theory
分类简称：math.CT
提交时间：2023-06-23