Browsing Bergen Open Research Archive by Author "Husebø, Anders Knarvik"
Now showing items 1-1 of 1
-
A study in Univalence
Husebø, Anders Knarvik (Master thesis, 2014-06-02)In this master thesis we want to study the newly discovered homotopy type theory, and its models within mathematics. We look at models in simplicial sets, simplicial symmetric monoids, and a new category which could be ...