This monograph is an expanded exposition version of "An elementary theory of the category of sets", published previously in the <i>**Proceedings of the National Academy of Science of the U.S.A**</i> 52, 1506--1511, with commentary by Colin McLarty and the author (F. William Lawvere). On line available formats: http://www.tac.mta.ca/tac/reprints/articles/11/tr11.dvi http://www.tac.mta.ca/tac/reprints/articles/11/tr11.ps http://www.tac.mta.ca/tac/reprints/articles/11/tr11.pdf
http://www.tac.mta.ca/tac/reprints/articles/11/tr11.pdf
Reprints in Theory and Applications of Categories, No. 11, 2005, pp. 1--35.
AN ELEMENTARY THEORY OF THE CATEGORY OF SETS (LONG VERSION)
WITH COMMENTARY by F. WILLIAM LAWVERE
Keywords: Category of sets, axiom of choice, mathematical logic and foundations
2000 MSC: 18B05, 00A30, 03A05
Rights:
Open access: free download for private study only http://www.tac.mta.ca/tac/reprints/articles/11/tr11abs.html 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.
