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

Showing changes from revision #1 to #2: Added | Removed | Changed

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 9, 2022 at 00:49:09 by Anonymous?. See the history of this page for a list of all contributions to it.