Search Results for author: Morgan Opie

Found 1 papers, 0 papers with code

Localization in Homotopy Type Theory

no code implementations11 Jul 2018 J. Daniel Christensen, Morgan Opie, Egbert Rijke, Luis Scoccola

Our main result is that for a pointed, simply connected type $X$, the natural map $X \to X_{(p)}$ induces algebraic localizations on all homotopy groups.

Algebraic Topology Category Theory 55P60 (Primary), 18E35, 03B15 (Secondary)

Cannot find the paper you are looking for? You can Submit a new open access paper.