2000 character limit reached
Synthetic Homology in Homotopy Type Theory (1706.01540v3)
Published 5 Jun 2017 in math.LO and cs.LO
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.