Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/203677
Title: | Accessible higher modalities |
Author: | Piña Urgell, Jan Ot |
Director/Tutor: | Casacuberta, Carles |
Keywords: | Teoria de l'homotopia Teoria de la localització Treballs de fi de màster Homotopy theory Localization theory Master's thesis |
Issue Date: | Sep-2023 |
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. |
Note: | Treballs finals del Màster en Matemàtica Avançada, Facultat de Matemàtiques, Universitat de Barcelona: Curs: 2022-2023. Director: Carles Casacuberta |
URI: | http://hdl.handle.net/2445/203677 |
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