Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"cubical sets"”.
-
Cubical Models of Homotopy Type Theory - An Internal Approach
This thesis presents an account of the cubical sets model of homotopy type theory using an internal type theory for elementary topoi. Homotopy type theory is a variant of Martin-Lof type theory where we think of types as spaces, with terms as points in the space and elements of the identity type as …
-
Homogeneous models and their toposes of supported sets
… by looking at their topos of finitely supported sets. Of various well-known toposes, such as cubical sets and simplicial sets, it is shown that they can be presented as a topos of this kind. It is argued that these examples can be understood as coming from a homogeneous model, in the sense of …