Duality Principle (Category Theory)

Theorem
In the study of metacategories and categories, the following two duality principles are very useful.