Kategori (matematik)

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ı ilişkisel olarak oluşturma yeteneği ve her nesne için bir kimlik okunun varlığıdır. Basit bir örnek; nesneleri küme olan ve okları işlev olan kümeler kategorisidir.

Kaynakça

Kaynakça 

  (now free on-line edition, GNU FDL).
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .

Cebirsel yapılar
Kategori teorisi