Browsing Institutt for matematiske fag by Author "Bakke, Fredrik"
Now showing items 1-1 of 1
-
Segal Spaces in Homotopy Type Theory
Bakke, Fredrik (Master thesis, 2022)Homotopi type teori er et grunnleggende språk for å gjøre homotopi invariant matematikk, og dermed ville en forventet at det var et naturlig rammeverk å studere (∞,1)-kategorier i. Desverre er det for øyeblikket et åpent ...