4 citations · 7 across the 2 of their papers we have counts for
2 papers
math.AT2020★ 4 cited
The Hurewicz theorem in Homotopy Type Theory
J. Daniel Christensen, Luis Scoccola
We prove the Hurewicz theorem in homotopy type theory, i.e., that for a pointed, -connected type and an abelian group, there is a natural isomorphism $π…
math.AT2018★ 3 cited
Localization in Homotopy Type Theory
J. Daniel Christensen, Morgan Opie, Egbert Rijke +1
We study localization at a prime in homotopy type theory, using self maps of the circle. Our main result is that for a pointed, simply connected type , the natural map $X \to X_…