Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/203677
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Casacuberta, Carles | - |
dc.contributor.author | Piña Urgell, Jan Ot | - |
dc.date.accessioned | 2023-11-16T11:43:37Z | - |
dc.date.available | 2023-11-16T11:43:37Z | - |
dc.date.issued | 2023-09 | - |
dc.identifier.uri | http://hdl.handle.net/2445/203677 | - |
dc.description | Treballs finals del Màster en Matemàtica Avançada, Facultat de Matemàtiques, Universitat de Barcelona: Curs: 2022-2023. Director: Carles Casacuberta | ca |
dc.description.abstract | [en] The main goal of this master’s thesis is to study localizations in the setting of homotopy type theory. In particular the special case of modalities, an object resembling the namesake notion in classical logic that allows to qualify statements to express things as possibility or necessity. In the first chapter we introduce the syntax of homotopy type theory and some motivating examples for the study of modalities. Next, we study localizations and modalities as described in [1; 2]. We focus on the fact that accessible modalities correspond to nullifications and work on the existence of non-accessible modalities. Finally we explore the use of Agda (a programming language for automatic proof verification) towards implementing results about factorization systems and modalities. | ca |
dc.format.extent | 62 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | ca |
dc.rights | cc by-nc-nd (c) Jan Ot Piña Urgell, 2023 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
dc.source | Màster Oficial - Matemàtica Avançada | - |
dc.subject.classification | Teoria de l'homotopia | cat |
dc.subject.classification | Teoria de la localització | cat |
dc.subject.classification | Treballs de fi de màster | cat |
dc.subject.other | Homotopy theory | eng |
dc.subject.other | Localization theory | eng |
dc.subject.other | Master's thesis | eng |
dc.title | Accessible higher modalities | ca |
dc.type | info:eu-repo/semantics/bachelorThesis | ca |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
Appears in Collections: | Màster Oficial - Matemàtica Avançada |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
tfm_jan_ot_piña_urgell.pdf | Memòria | 1.1 MB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License