Jabarkan Konstruksi kategori baru dari Kategori (matematika)

Setiap kategori  C  sendiri dapat dianggap sebagai kategori baru dengan cara yang berbeda: objeknya sama dengan yang ada di kategori asli tetapi panahnya adalah milik kategori asli terbalik. Ini disebut  ganda  atau  kategori berlawanan  dan dilambangkan Cop.