kategorii teoria,
mat. teoria zajmująca się badaniem algebraicznych własności kategorii, czyli klas obiektów matematycznych określonego typu (grup, przestrzeni i in.) wraz z ich morfizmami (homomorfizmami, ciągłymi przekształceniami przestrzeni topologicznych itd.);
kategorii teoria
Encyklopedia PWN
teoria kategorii powstała 1945 (S. Eilenberg, S. MacLane).