3 citations · 3 across the 1 of their papers we have counts for
1 paper
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 X, the natural map $X \to X_…