An elementary theory of the category of sets | lit.salon