## Definition ## 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 [[rationalization of an abelian group|rationalized]] [[homotopy groups]]. ## See also ## * [[rational homotopy theory]] * [[rationalization of an abelian group]] * [[rational homotopy type]] category: not redirected to nlab yet