内蕴高阶范畴论中的余极限与余完备化
范畴论
2024-02-14 v3 代数拓扑
摘要
我们发展了 -topos 中内蕴范畴理论的一些基本概念。我们讨论了内蕴范畴的伴随、极限与余极限以及 Kan 扩张，并利用这些结果证明了内蕴预层范畴的泛性质。此外，我们构造了内蕴范畴关于由任意图表形状类所索引的余极限的自由余完备化。
引用
@article{arxiv.2111.14495,
title = {Colimits and cocompletions in internal higher category theory},
author = {Louis Martini and Sebastian Wolf},
journal= {arXiv preprint arXiv:2111.14495},
year = {2024}
}
备注
Major restructuring following a referee report