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

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

## 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?.