Title: An elementary theory of the category of sets