A study in Univalence
dc.contributor.author | Husebø, Anders Knarvik | eng |
dc.date.accessioned | 2014-09-26T12:16:15Z | |
dc.date.available | 2014-09-26T12:16:15Z | |
dc.date.issued | 2014-06-02 | eng |
dc.date.submitted | 2014-06-02 | eng |
dc.identifier.uri | https://hdl.handle.net/1956/8566 | |
dc.description.abstract | 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 called multi pointed simplicial sets. We also describe dependent type theory from the informatical point of view, and some implications of it. | en_US |
dc.format.extent | 610092 bytes | eng |
dc.format.mimetype | application/pdf | eng |
dc.language.iso | eng | eng |
dc.publisher | The University of Bergen | en_US |
dc.title | A study in Univalence | en_US |
dc.type | Master thesis | |
dc.rights.holder | Copyright the author. All rights reserved | en_US |
dc.description.localcode | MAMN-MAT | |
dc.description.localcode | MAT399 | |
dc.subject.nus | 753199 | eng |
fs.subjectcode | MAT399 |