Lawvere-Tierney sheafification in Homotopy Type Theory
Le but principal de cette thèse est de définir une extension de la traduction de double-négation de Gödel à tous les types tronqués, dans le contexte de la théorie des types homotopique. Ce but utilisera des théories déjà existantes, comme la théorie des faisceaux de Lawvere-Tierney, quenous adapter...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2016EMNA0298/document |