Teori kategori: Perbedaan antara revisi

 

== Konstruksi Kategori Baru dari Kategori yang Ada ==

Sebarang kategori <math>\mathcal{C}</math> dapat dikonstruksi menjadi kategori baru dengan membalik setiap morfismanya tanpa mengubah objeknya. Kategori yang demikian disebut kategori ''dual'' dan dinotasikan sebagai <math>\mathcal{C}</math>^op