Homotopy Type Theory rationalization of a simply connected type > history (changes)

Showing changes from revision #3 to #4: Added | Removed | Changed

Definition

< rationalization

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

Last revised on June 17, 2022 at 21:16:34. See the history of this page for a list of all contributions to it.