Category:Category Axioms are Self-Dual