Kategooria (matemaatika)
Kategooria mõiste on matemaatikas üldistus samalaadsete matemaatiliste objektide vaheliste "morfismide" (hulkade kujutuste, topoloogiliste ruumide pidevate kujutuste, lineaarruumide lineaarkujutuste, rühmade homomorfismide jne) kompositsioonide algebralistest omadustest tingimustel, et on olemas samasusteisendused ning morfismide kogumid on kompositsiooni suhtes kinnised. Kategooria mõiste pärineb Samuel Eilenbergilt ja Saunders Mac Lane'ilt (1945).