内部分裂的opfibrations和cofunctors
摘要：内部分裂opfibration的结构由具有内部反函子的内部函子捕捉，同时该属性可通过类似于内部显式opfibration之间的简单条件的下拉条件来表达。此外，这种方法还通过d’ecalage构造和严格分解系统提供了内部分裂opfibration的两个附加特征。对于小范畴，这个理论阐明了在计算机科学中出现的delta镜头的几个方面。
作者：Bryce Clarke
论文ID：2004.00187
分类：Category Theory
分类简称：math.CT
提交时间：2020-12-08