Su "Categories for the Working Mathematician" sigue siendo la introducción definitiva a teoría de categorías.