Le moteur de recherche
des thèses françaises
Emily Riehl
IdRefMots clés
FR |
EN
Homotopie
Théorie des types
Fibrations (mathématiques)
Catégories (mathématiques)
Algèbre homotopique
Modèles mathématiques
Catégories supérieures
Fibrations de Grothendieck
Catégories de modèles
Structures de modèles de Reedy
Algèbre de factorisation
Conjecture de Deligne
Factorisation
Conjectures de Weil
Catégorie de modèles
Bifibration de Grothendieck
Théorie des catégories
Diagrammes de compositions
Sémantique
Théorie homotopique des types