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.A 52, 1506-1511, with commentary by Colin McLarty and the author.

Keywords: Category of sets, axiom of choice, mathematical logic and foundations

2000 MSC: 18B05, 00A30, 03A05

Republished in:
Reprints in Theory and Applications of Categories, No. 11 (2005) pp. 1-35

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

TAC Reprints Home