Remark. opposite categories are categories [006F]

Note that for every category , its opposite category fullfills all axioms of a category.

Proof. TODO