Modèles de l'univalence dans le cadre équivariant
FR |
EN
Auteur / Autrice : | Anthony Bordg |
Direction : | André Hirschowitz |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques |
Date : | Soutenance le 09/11/2015 |
Etablissement(s) : | Nice |
Ecole(s) doctorale(s) : | École doctorale Sciences fondamentales et appliquées (Nice ; 2000-....) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire J.-A. Dieudonné (Nice) |
Jury : | Président / Présidente : Carlos Simpson |
Examinateurs / Examinatrices : Carlos Simpson, Peter LeFanu Lumsdaine, Michael Schulman, Denis-Charles Cisinski, Thierry Coquand, Bertrand Toën | |
Rapporteurs / Rapporteuses : Peter LeFanu Lumsdaine, Michael Schulman |
Résumé
FR |
EN
Cette thèse de doctorat a pour sujet les modèles de la théorie homotopique des types avec l'Axiome d'Univalence introduit par Vladimir Voevodsky. L'auteur prend pour cadre de travail les définitions de type-theoretic model category, type-theoretic fibration category (cette dernière étant la notion de modèle considérée dans cette thèse) et d'univers dans une type-theoretic fibration category, définitions dues à Michael Shulman. La problématique principale de cette thèse consiste à approfondir notre compréhension de la stabilité de l'Axiome d'Univalence pour les catégories de préfaisceaux, en particulier pour les groupoïdes équipés d'une involution.