Teori kategori. Sebuah kategori dengan objek X , Y , Z , dan morfisme f , g , g ∘ f , dan tiga morfisma identitas (tidak ditunjukkan) 1 X , 1 Y , dan 1 Z .