同伦类型论中的合成同调

摘要：

本文在同伦类型论中定义了同调，并在此过程中定义了稳定同伦群。合成同伦理论的研究依赖于以前的研究，特别是上同调的定义。这一工作为计算机检验同调结构奠定了基础。

英文摘要：

This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the foundation for a computer checked construction of homology.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。