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

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.