Basic Category Theory av Tom (University of Edinburgh) Leinster

I denne kortfattede introduksjonen til kategoriteori står ideen om universelle egenskaper i fokus, en fundamental konsept innen matematikk. Boken starter med et innledende kapittel som gir de grunnleggende definisjonene, etterfulgt av separate kapitler som beskriver tre forskjellige måter å uttrykke universelle egenskaper på: gjennom adjungerte funktorer, representable funktorer og grenser (limits). Det avsluttende kapittelet knytter sammen disse tre tilnærmingene. Boken er egnet både for kurs og selvstudier, og krever relativt lite matematisk bakgrunn, noe som gjør den ideell for nybegynnende masterstudenter eller avanserte bachelorstudenter som lærer kategoriteori for første gang. For hvert nytt kategorisk konsept gis det en rikelig mengde eksempler fra ulike deler av matematikken. Der hvor abstraksjonen øker betydelig (som i tilfellet med Yoneda lemma), vil leseren finne nøye og omfattende forklaringer. I tillegg er det inkludert mange oppgaver for å forsterke læringen.