Teoria homotopiei raționale este o teorie care studiază tipul de homotopie rațională a spațiului , adică, aproximativ vorbind, ignorând toată torsiune în grupurile de homotopie . A fost început de Dennis Sullivan (1977) și Daniel Quillen (1969).
Tipurile de homotopie rațională ale spațiilor pur și simplu conectate pot fi identificate cu clasele de izomorfism ale unor obiecte algebrice, numite algebre Sullivan minime, care sunt algebre gradate diferențiale comutative pe câmpul numerelor raționale care îndeplinesc anumite condiții.
Manualul standard despre teoria homotopiei raționale este ( Felix, Halperin & Thomas 2001 ).