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

## 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 rationalized homotopy groups?.