$\pi$-有限空间范畴

Mathieu Anel

$\pi$-有限空间范畴

范畴论 2025-03-05 v4 代数拓扑

作者: Mathieu Anel

摘要

我们证明具有有限同伦不变量( $\pi$ \=/有限空间)的截断空间范畴具有初等 \oo 拓扑斯所期望的许多特征。它应被视为有限集初等1-拓扑斯的自然高阶类比，并与后者共享若干初始性性质。本文还包含一个关于 \oo 预拓扑斯中单值族族的附录。

关键词

$\pi$-有限空间初等无穷拓扑斯截断空间同伦不变量有限集拓扑斯单值族无穷预拓扑斯

引用

@article{arxiv.2107.02082,
  title  = {The category of $\pi$-finite spaces},
  author = {Mathieu Anel},
  journal= {arXiv preprint arXiv:2107.02082},
  year   = {2025}
}

备注

v2. add an initiality result and the proof that not all pushout exist. v3 new appendix on univalent families in pretopoi and renew section on the universe of pi-finite spaces, corrected a few mistakes. v4 simplified a few proofs, last version before publication in JPAA

$\pi$-有限空间范畴

摘要

关键词

引用

备注

相关论文