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.