If one statement is true in a category C then its dual is true in the dual category Cop.
Εάν μια δήλωση είναι αληθινή σε μια κατηγορία C τότε το dual του θα είναι αληθινό στη dual category Cop.