With thanks especially to Adam Epstein I have posted a revision of the paper "Set Theory for Grothendieck's Number Theory." The purely set theoretic matters have expository improvements.  There are substantial improvements on all questions of the size of sites. I hope this URL will work for everyone, but will happily send a pdf of the paper to anyone who asks: http://www.cwru.edu/artsci/phil/Groth%20found26.pdf best, Colin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]