具有结构的 (∞,1) 类范畴及其松弛态射的极限
范畴论
2025-05-22 v1 代数拓扑
摘要
Riehl 和 Verity 建立了对于接受极限的准类目 A 以及不保守极限的 A 上的同伪单子，Eilenberg-Moore 对象仍然接受极限；这可解释为涉及松弛态射的完备性结果。我们将其结果推广到不同的 (∞,1) 类模型，并涵盖各种各样的结构。例如，具有极限的 (∞,1) 类、以及 (∞,1) 类之间的笛卡尔纤维，以及 (∞,1) 类的两两间的伴随。此外，我们展示了这些具有结构的 (∞,1) 类实际上拥有一类重要的松弛态射的极限，包括 ∞-范畴版本的插入器和等值器，当图中仅一个态射需要是结构保持时。我们的ethods 提供了几种 (∞,1) 类及其松弛态射极限存在的最小要求和透明解释。
引用
@article{arxiv.2505.15598,
title = {Limits of $(\infty, 1)$-categories with structure and their lax morphisms},
author = {Joanna Ko},
journal= {arXiv preprint arXiv:2505.15598},
year = {2025}
}
备注
56 pages