This is to announce a new preprint that might be of interest to reader's of this list Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets (version October 23, 2009) http://www.math.uu.se/~palmgren/cetcs.pdf Erik Palmgren [For admin and other information see: http://www.mta.ca/~cat-dist/ ]