I oppgaven tas det sikte på å anvende begreper og metoder fra kategoriteori og især toposteori innen kvantefysikken. I den resulterende teorien, "toposfysikk", brukes toposteori (teorien om generaliserte mengdeuniverser og generaliserte rom) som et verktøy for å konstruere kvantefysikken ved å "lime sammen" klassiske perspektiver eller "snapshots". Første kapitel gir den nødvendige bakgrunn for å forstå den fysiske motivasjonen bak konstruksjonene i de påfølgende kapitler, med særlig oppmerksomhet viet emnene logikk, kvantisering og rom. I kapitel 2 presenteres først elementær teori om kategorier og topoi. Det gis deretter en gjennomgang av toposfysikkens sentrale trekk: konstruksjonen av et tilstandsrom for kvantemekanikken ved hjelp av (kovariante eller kontravariante) funktorer over en kategori av kommutative operatoralgebraer. To ulike tilnærmingsmåter, Andreas Döring og Chris Ishams "neorealisme" og Chris Heunen, Nicolas P. Landsmaan og Bas Spitters "Bohrifikasjon" presenteres i detalj. I kapitel 3 anvendes den sistnevnte tilnærmingen på teorien om "loop quantum gravity" (LQG). Kapitelet har derfor en kort oppsummering av hovedresultatene innen LQG. Det undersøkes hvordan LQG kan interpreteres innen toposfysikk ved å ta i bruk Christian Fleischhacks formulering av LQG som en Weylalgebra. De topologiske egenskapene til tilstandsrommet i LQG innen toposmodellen undersøkes, og det vises hvordan kravene til gauge- og diffeomorfiinvarians kan interpreteres i teorien. Endelig, ved hjelp av Ishams teknikk for å kvantisere generelle strukturer, utvides den toposfysiske modellen til å inkludere et bredere kategoriteoretisk rammeverk. Vi definerer en målteori for kategorier og undersøker teoriens byggesteiner, pilfeltene over en kategori, i kategorien av deres representasjoner. Vi antyder hvordan modellen kan anvendes innen Sorkins teori om kausale mengder, og som basis for en teori om kvantisert logikk
