Synthetic Homology in Homotopy Type Theory
Logic
2018-12-27 v3 Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.1706.01540,
title = {Synthetic Homology in Homotopy Type Theory},
author = {Robert Graham},
journal= {arXiv preprint arXiv:1706.01540},
year = {2018}
}