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

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 May 2, 2022 at 02:30:45 by Anonymous?. See the history of this page for a list of all contributions to it.