collaborators

1 paper

math.AT2018

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_…