Téori kategori
caption: Téyori kategori. Sawijining kategori kanthi obyèk X , Y , Z , lan morfisme f , g , g ∘ f , lan telu morfisme idhèntitas (ora katuduhaké) 1 X , 1 Y , lan 1 Z .