Sets for Mathematics - F. William (State University of New York Lawvere - Bog

In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra. Starting with intuitive descriptions of mathematically and physically common phenomena, it leads up to a precise specification of the Category of Sets. Suitable for advanced undergraduates and beginning graduate students.