Handbook of Categorical Algebra: Volume 3, Sheaf Theory

Håndboken om kategorisk algebra er delt inn i tre bind og tar sikte på å gi en grundig fremstilling av hva alle som arbeider innen kategori teori bør vite, uavhengig av hvilket spesifikt forskningsområde de har valgt. Denne boken er også ment å fungere som en referanse for både spesialister innen feltet og for alle som bruker kategori teori som et verktøy. I bind 3 innledes leseren med de essensielle aspektene av teorien om lokaliteter, før kapittel 2 tar for seg sheaver på en lokalitet og på et topologisk rom i deres ulike ekvivalente presentasjoner: funktorer, etale kart eller W-sett. Videre generaliseres situasjonen til tilfelle med sheaver på et sted, der den tilhørende oppfatningen av Grothendieck-topos introduseres. Kapittel 4 knytter teorien om Grothendieck-toposer til tilgjengelige kategorier og skisserer, ved å bevise eksistensen av en klassifiserende topos for alle koherente teorier. De fem siste kapitlene tar for seg en aksiomatisk tilnærming til kategoriene av...