La topologie cohérente est fréquemment utilisée en topologie algébrique, notamment en lien avec les limites inductives. Ce vocable désigne à la fois une méthode assez générale pour construire une topologie mais aussi une topologie particulière des espaces vectoriels réels de dimension infinie.