Boken "Categories for the Working Mathematician" gir et bredt spekter av generelle ideer som er nyttige innen mange ulike fagfelt. Den tar utgangspunkt i grunnleggende prinsipper og belyser viktige begreper som kategori, funktor, naturlig transformasjon og dualitet. Videre utforsker boken adjungerte funktorer, som gir en beskrivelse av universelle konstruksjoner, en analyse av hvordan funktorer representeres gjennom mengder av morfier, samt en metode for å håndtere direkte og inverse grenser. Disse kategoriske konseptene blir grundig illustrert i de påfølgende kapitlene, som inkluderer mange anvendelser av det grunnleggende eksistens-teoremet for adjungerte funktorer. Kategoriene av algebraiske systemer blir konstruert fra spesifikke adjungerte data og karakterisert ved Becks teorem. Etter å ha vurdert en rekke anvendelser, fortsetter boken med konstruksjon og utnyttelse av Kan-forlengelser. Denne andre utgaven inkluderer flere revisjoner og tillegg, samt to nye kapitler om emner av aktiv interesse.
