关于可访问函子的连续性
摘要：每个本地$alpha$-可表示的范畴$mathcal K$存在一个正规基数$gamma$，使得从$mathcal K$出发的任何$alpha$-可访问函子（到另一个本地$alpha$-可表示的范畴）是连续的，当且仅当它保持$gamma$-小极限；作为结论，我们获得了一个特定于从$mathcal K$出发的$alpha$-可访问函子的新邻接函子定理。然后我们将这些结果推广到富集的设置，并推导出，一个小的$mathcal V$-范畴是可访问的当且仅当它是Cauchy完备的。
作者：Giacomo Tendas
论文ID：2110.14192
分类：Category Theory
分类简称：math.CT
提交时间：2022-04-01