Miniatura

Fitxers

tfm_jan_ot_piña_urgell.pdf (1.08 MB)

Tipus de document

Treball de fi de grau

Data de publicació

2023-09

Llicència de publicació

cc by-nc-nd (c) Jan Ot Piña Urgell, 2023
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/203677

Accessible higher modalities

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[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.

Descripció

Treballs finals del Màster en Matemàtica Avançada, Facultat de Matemàtiques, Universitat de Barcelona: Curs: 2022-2023. Director: Carles Casacuberta

Matèries

Teoria de l'homotopia, Teoria de la localització, Treballs de fi de màster

Matèries (anglès)

Homotopy theory, Localization theory, Master's thesis

Citació

Col·leccions

Màster Oficial - Matemàtica Avançada

Citació

PIÑA URGELL, Jan ot. Accessible higher modalities. [consulta: 24 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/203677]

Exportar metadades

JSON - METS

Compartir registre