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 .