Kategori (matematik)

Vikipedi, özgür ansiklopedi

A, B, C nesneleri ve f, g, g ∘ f ile gösterilen morfizmler koleksiyonunu içeren bir kategori. Döngüler birim oklarıdır. Bu kategori tipik olarak kalın yazı karakteriyle gösterilir "3" .

Matematikte, bir kategori (bazen somut kategoriden ayırmak için soyut kategori olarak da adlandırılır), "oklar" ile birbirine bağlanan "nesneler" koleksiyonudur. Bir kategorinin iki temel özelliği vardır. Bunlar okları birleşmeli olarak oluşturma yeteneği ve her nesne için bir birim okunun varlığıdır. Basit bir örnek; nesneleri küme olan ve okları işlev olan kümeler kategorisidir.

Ayrıca bakınız[değiştir | kaynağı değiştir]

Kaynakça[değiştir | kaynağı değiştir]