homologisk

Redan 1940 hade Eilenerg träffat Saunders Mac Lane, och de hade arbetade ihop inom homologisk algebra, då de i processen skapade kategoriteorin.

Inom matematiken, speciellt i homologisk algebra och algebraisk topologi, är en Künnethsats, även kallad Künnethformel, ett resultat som relaterar homologin av två objekt till homologin av deras produkt.

I det enklaste fallet är relationen en tensorprodukt, men i applikationer är det väldigt ofta nödvändigt att använda metoder från homologisk algebra för att uttrycka svaret.