The Gluing Construction for Path Categories
dc.rights.license | CC-BY-NC-ND | |
dc.contributor.advisor | Berg, B. van den | |
dc.contributor.advisor | Oosten, J. van | |
dc.contributor.author | Boer, M.W.E. de | |
dc.date.accessioned | 2018-07-20T17:02:13Z | |
dc.date.available | 2018-07-20T17:02:13Z | |
dc.date.issued | 2018 | |
dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/29726 | |
dc.description.sponsorship | Utrecht University | |
dc.format.extent | 567455 | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | |
dc.title | The Gluing Construction for Path Categories | |
dc.type.content | Master Thesis | |
dc.rights.accessrights | Open Access | |
dc.subject.keywords | category theory, homotopy type theory, gluing category, canonicity, homotopy universal constructions | |
dc.subject.courseuu | Mathematical Sciences |