Category Axioms are Self-Dual