alt kategori

alt kategori İng. subcategory

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.

---

alt kategori ile benzer kelimeler

dolu alt kategori İng. full subcategory S -> C içerme funktoru dolu olan C kategorisinin bir S alt kategorisi.

afin alt uzaya paralel alt vektör uzayı İng. vector subspace parallel to an affine subspace ( )

Ab kategori İng. Ab category Nesneleri bütün (toplamsal) Abel grupları ve okları da bu gruplar arasındaki morfizmler olan büyük kategori.

Baire kategori teoremi İng. Baire's category theorem "Her tam metrik uzay ikinci kategoridendir" önermesi.

büyük kategori İng. large category Nesneleri, üzerlerinde kurulmuş birer matematiksel yapılar olan küçük kümelerden oluşan kategori. Örneğin, Set, Grp, Top, Cat gibi.

cat kategori İng. cat category Nesneleri bütün küçük katagoriler ve oklar da bu katagoriler arasındaki funktorlar olan büyük kategori.

dual kategori bk. zıt kategori.

Ens kategori İng. Ens category Nesneler bir (değişken) V kümeler kümesine ait kümeler, oklar bu kümeler arasındaki fonksiyonlar olan kategori.

---