内分裂光学与余函子
Internal split opfibrations and cofunctors
摘要：
分裂opfibrations是函子配备了一个合适的选择opcarbohydrates电梯。本文的目的是通过分离合适的电梯的结构和电梯的可操作性来消除内部分裂操作。内部分裂光纤维化的基本结构被一个配备有内部余函子的内部函子捕获，而该性质可以表示为拉回条件，类似于内部函子成为内部离散光纤维化的简单条件。此外，这种方法提供了两个额外的特征的内部分裂opfibrations，通过décalage建设和严格的因式分解系统。对于小范畴，这个理论阐明了计算机科学中出现的三角透镜的几个方面。
英文摘要：
Split opfibrations are functors equipped with a suitable choice of opcartesian lifts. The purpose of this paper is to characterise internal split opfibrations through separating the structure of a suitable choice of lifts from the property of these lifts being opcartesian. The underlying structure of an internal split opfibration is captured by an internal functor equipped with an internal cofunctor, while the property may be expressed as a pullback condition, akin to the simple condition on an internal functor to be an internal discrete opfibration. Furthermore, this approach provides two additional characterisations of internal split opfibrations, via the décalage construction and strict factorisation systems. For small categories, this theory clarifies several aspects of delta lenses which arise in computer science.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
