34 citations · 95 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
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_…
cs.LO2018
Higher Groups in Homotopy Type Theory
Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
We present a development of the theory of higher groups, including infinity groups and connective spectra, in homotopy type theory. An infinity group is simply the loops in a point…