同伦类型论中的合成同调
逻辑
2018-12-27 v3 计算机科学中的逻辑
摘要
本文在同伦类型论中定义了同调，在此过程中也定义了稳定同伦群。本文依赖于先前在合成同伦理论方面的研究，特别是上同调的定义。这项工作为计算机验证的同调构造奠定了基础。
引用
@article{arxiv.1706.01540,
title = {Synthetic Homology in Homotopy Type Theory},
author = {Robert Graham},
journal= {arXiv preprint arXiv:1706.01540},
year = {2018}
}