Alexelam/Sandbox/Definition:ETCS

From ProofWiki
Jump to navigation Jump to search

Definition

Elementary Theory of the Categories of Sets.