Elements of -Category Theory av Emily (The Johns Hopkins University Maryland) Riehl, Dominic (Macquarie University Sydney) Verity

Språket innen 8-kategoriteori tilbyr en innsiktsfull og ny måte å uttrykke mange resultater innen høyere dimensjonal matematikk, men kan være en utfordring for de som ikke er innvidd. For å forklare hva nøyaktig en 8-kategori er, er det nødvendig med ulike tekniske modeller, noe som reiser spørsmålet om hvordan disse kan sammenlignes. For å overvinne denne utfordringen er en modell-uavhengig tilnærming ønskelig, slik at teoremer bevist med hvilken som helst modell vil gjelde for alle. Denne teksten utvikler teorien om 8-kategorier fra grunnprinsippene i en modell-uavhengig stil, ved hjelp av det aksiomatiske rammeverket av en 8-kosmos, universet der 8-kategorier eksisterer som objekter. En 8-kosmos er et fruktbart miljø for den formelle kategoriteorien til 8-kategorier, og dermed ligner de grunnleggende bevisene i 8-kategoriteori nært de klassiske fundamentene i vanlig kategoriteori. Boken inneholder øvelser og vedlegg med bakgrunnsmateriale, og fungerer som en første introduksjon til studenter og forskere med en solid grunnlag innen klassisk matematikk.