In de algebraïsche topologie, een deelgebied van de wiskunde, verstaat men onder de homologietheorie de axiomatische studie van het intuïtieve meetkundige idee van een homologie van cycli op de topologische ruimte. De homologietheorie kan breedweg worden gedefinieerd als de studie van homologietheorieën over topologische ruimten.