In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra.