Title: An elementary theory of the category of sets
Subjects: Set theory