Pro pochopení tohoto tématu je vhodné nejprve důkladně porozumět článku Abstraktní algebraTeorie kategorií je odvětví matematiky zobecňující pohled na matematické struktury a vztahy mezi nimi. Proto je považována za sjednocující teorii, která umožňuje zkoumat spojitosti mezi různými disciplínami, jako jsou například mnohá odvětví matematiky, některé oblasti teoretické informatiky a matematické fyziky.