Kategori (matematika)
caption: Kategori dengan kumpulan objek A, B, C dan kumpulan morfisme yang dilambangkan dengan f, g, g ∘ f , dan loop adalah panah identitas. Kategori ini biasanya dilambangkan dengan huruf tebal 3 .
caption: Grafik arah.