An elementary theory of the category of sets (long version) with commentary

F. William Lawvere

This article is an expanded version of `An elementary
theory of the category of sets', Proceedings of the National Academy of
Science of the U.S.A52, 1506-1511, with commentary by
Colin McLarty and the author.