高阶范畴的同调
代数拓扑
2026-05-08 v2 范畴论
K理论与同调
摘要
同调由Eilenberg-Steenrod公理刻画。我们通过Eilenberg-Steenrod公理的范畴类似物来定义高阶范畴的同调。我们证明了范畴Dold-Kan对应，给出了范畴同调的组合表示，其中Street神经扮演奇异复形的角色。这蕴含了一个范畴Dold-Thom定理，该定理赋予范畴同调以乘法结构，并导出了球体的范畴同调的计算。
引用
@article{arxiv.2505.22640,
title = {Homology of higher categories},
author = {Hadrian Heine},
journal= {arXiv preprint arXiv:2505.22640},
year = {2026}
}
备注
Second part of arXiv:2505.22640, which got splitted