Truncation levels in homotopy type theory
Homotopy type theory (HoTT) is a branch of mathematics that combines and benefits from a variety of fields, most importantly homotopy theory, higher dimensional category theory, and, of course, type theory. We present several original results in homotopy type theory which are related to the truncati...
| Main Author: | |
|---|---|
| Format: | Thesis (University of Nottingham only) |
| Language: | English English |
| Published: |
2015
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/28986/ |