2000 character limit reached
Synthetic Homology in Homotopy Type Theory
Published 5 Jun 2017 in math.LO and cs.LO | (1706.01540v3)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
