Kategoriteori dukket opp på 1940-tallet gjennom arbeidet til Samuel Eilenberg og Saunders Mac Lane, og beskriver forhold mellom matematiske strukturer. Utenfor ren matematikk er kategoriteori et viktig verktøy innen fysikk, datavitenskap, linguistikk og en stadig voksende liste av andre vitenskaper. Boken "2-Dimensional Categories" omhandler 2-dimensjonale kategorier, som tilfører en ekstra dimensjon av rikdom og kompleksitet til kategoriteori. Dette verket fungerer som en innføring i 2-kategorier og bi-kategorier, med utgangspunkt i de mest grunnleggende aspektene av kategoriteori. Etter en gjennomgang av grunnleggende kategoriteori følger en systematisk diskusjon om 2-/bi-kategorier, sammenføyningsdiagrammer, slakke funktorer, 2-/bi-grenser, Duskin-nerven, 2-nerven, interne adjunksjoner, monader i bi-kategorier, 2-monader, biequivalenser, det Bicategoriske Yoneda-lemmet og Koherens-teoremet for bi-kategorier. Deretter utforskes Grothendieck-fibrasjoner og Grothendieck-konstruksjonen, etterfulgt av tri-kategorier og monoidale strukturer.
