无限装备中的形式范畴论 II：松散函子、单性和纤维化
范畴论
2024-08-28 v1 代数拓扑
摘要
我们研究了无限装备框架，旨在以合成和统一的方式为不同对无限范畴的各种推广制定良好行为的理论。我们考虑这些装备之间（松散）函子的概念、这些装备上的闭单ivas结构，以及这些装备内部的纤维化。在一个主要应用中，我们将演示，使用这种形式化方法即可轻易获得内部无限范畴论的基础。
引用
@article{arxiv.2408.15190,
title = {Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations},
author = {Jaco Ruit},
journal= {arXiv preprint arXiv:2408.15190},
year = {2024}
}
备注
67 pages, comments welcome