34 citations · 95 across the 15 of their papers we have counts for
1 paper · 2 filters
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_…