kategori 1. nedir?

(Alm. Kategorie, f; Fr. catégorie, f; İng. category) 

mat. (1) A, B, C gibi harflerle gösterilen nesnelerin oluşturduğu T sınıfı,
(2) her (A, B) sıralı nesne sınıfı için hom(A, B) şeklinde gösterilen kümeler,
(3) her (A, B, C) sıralı üçlüsü için bir ?(A, B, C) : hom(A, B) × hom(B, C) › hom(A, C) fonksiyonundan oluşan ve ?(A, B, C)(f, g) kısaca g ? f şeklinde gösterilirse, aşağıdaki (i), (ii) koşullarını sağlayan C = (T, hom, ?) üçlüsü;  (i) Her (A, B, C, D) dörtlüsü ve her f ? hom(A, B), g ? hom(B, C), h ? hom(C, d) için (h ? g) ? f = h ? (g ? f) eşitliğinin doğru olması,(ii) Her A nesnesi için hom(A, A) da bulunan bir 1A nın, her B, C nesnesi ve her f ? hom(A,B) ve her g ? hom(C, A) için f ?1A = f ve 1A ? g = g eşitliklerini sağlaması.2. (Alm. Kategorie, f; Fr. catégorie, f; İng. category; Lat. praedicamentum) Canlıların sınıflandırılmasındaki basamaklardır, aralarında herhangi bir bakımdan ilgi veya benzerlik bulunan şeylerin tamamı, grup, ulam.