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

Definition

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 15, 2022 at 22:58:35 by Anonymous?. See the history of this page for a list of all contributions to it.