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ı birleşmeli olarak oluşturma yeteneği ve her nesne için bir birim okunun varlığıdır.