Kategorial teori er en gren av abstrakt algebra med mangfoldige anvendelser. Denne teksten og referanseboken retter seg ikke bare mot matematikere, men også mot forskere og studenter innen datavitenskap, logikk, lingvistikk, kognitiv vitenskap, filosofi og mange andre felt hvor disse ideene brukes. Boken inneholder klare definisjoner av de essensielle konseptene, ledsaget av mange tilgjengelige eksempler, og tilbyr fullstendige bevis for alle viktige proposisjoner og teoremer. Hensikten er å gjøre de grunnleggende ideene, teoremene og metodene innen kategorial teori forståelige for et bredt publikum. Selv om boken har få matematiske forutsetninger, er ikke standarden for matematisk rigor satt på spill. Det dekker standardkjerneemner som kategorier, funktorer, naturlige transformasjoner, ekvivalens, grenser og kolimitter, funktorkategorier, representerbare objekter, Yoneda-lemmatikken, adjointer og monader. I tillegg behandles et ekstra emne om kartesiske lukkede kategorier og lambda-kalkulus.
