小一致范畴的(2,1)-范畴
摘要：具有一致理论（及其解释）与一致范畴（相应的函子）之间的已知对应关系，因此（小型一致范畴，一致函子和所有自然同构的）（2,1）-范畴Coh_sim是具有逻辑兴趣的。我们证明了该范畴接受所有小型2-极限和2-余极限（在（无穷，1）-范畴意义下），并证明了一个2-范畴的小对象论证，以为一致函子提供弱的分解系统。
作者：Krist''of Kanalas
论文ID：2104.13239
分类：Category Theory
分类简称：math.CT
提交时间：2021-04-28