alt kategori anlamı İng. subcategory Alm.Unterkategorie Fr. sous-catégorie Az. altkategoriya
Bir C kategorisinin S alt kategorisi aşağıdaki koşulları sağlayan C 'nin bazı nesneler ve oklarından oluşan bir ailedir: 1- f oku S 'de ise, kay f ve hed f nesneleri S 'dedir. 2- S 'deki her s nesnesi için I, özdeşlik oku S 'dedir. 3- S 'deki g, f okları C 'de bir gof bileşkesine sahipse, gof oku da S 'dedir. Bir alt kategorinin kendisi de bir kategoridir.