L'omologia, assieme all'omotopia, è un concetto fondamentale della topologia algebrica. È una procedura con cui viene assegnata a un certo oggetto matematico (come uno spazio topologico o un gruppo), una successione di gruppi abeliani, che forniscano in qualche maniera informazioni sull'oggetto in considerazione.
In topologia, l'omologia di uno spazio topologico è un gruppo abeliano
che informalmente misura il numero di "buchi -dimensionali" dello spazio . Un concetto analogo è il gruppo fondamentale.