Boken "Starting Category Theory" gir en grundig innføring i de grunnleggende konseptene innen kategori-teori. En av hovedelementene i verket er utforskningen av Yoneda-lemmet og dens dype implikasjoner. Her tilbys intuitive forklaringer, detaljerte bevis og spesifikke eksempler som gjør kompleksiteten lettere tilgjengelig. Boken dekker avanserte aspekter av kategori-teori på en klar og forståelig måte, med rigorøse matematiske bevis. Den undersøker universelle egenskaper, koherens, samt forholdet mellom kategorier og grafer. Monader og komonader behandles likestilt, og leseren får servert teoremer, tolkninger og konkrete eksempler. I tillegg inneholder teksten en introduksjon til monoidale kategorier og til sterke og kommutative monader – essensielle verktøy i dagens forskning, som sjeldent finnes i andre lærebøker. Opprinnelig utviklet som forelesningsnotater for et bachelorkurs, er "Starting Category Theory" nå tilpasset for å være like godt egnet for selvstudium.
