Homotopy Type Theory rationalization of a simply connected type > history (Rev #2)


The rationalization of a pointed simply connected type (T,t)(T,t) is a rational homotopy type (V,v)(V,v) with a point-preserving function ϕ:TV\phi:T \to V such that ϕ\phi induces an isomorphism? on rationalized homotopy groups?.

See also

Revision on June 9, 2022 at 04:49:09 by Anonymous?. See the history of this page for a list of all contributions to it.