Kategori (matematik)

cebir kavramı

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.

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" .

Ayrıca bakınız

değiştir

Kaynakça

değiştir