Gw mau tau sehingga aksioma berikut: dari Kategori (matematika)

(asosiatif) jika f : a → b, g : b → c dan h : c → d kemudian h ∘ (g ∘ f) = (h ∘ g) ∘ f, dan

(identitas) untuk setiap objek  x , terdapat morfisme 1x : x → x (beberapa idx) disebut  morfisme identitas untuk x , sehingga setiap morfisme f : a → x merumuskan 1x ∘ f = f, dan setiap morfisme g : x → b merumuskan g ∘ 1x = g.