User:Alexelam/Sandbox/Definition:ETCS

Definition
Elementary Theory of the Categories of Sets. Axiom:Axiom_of_Choice