Le moteur de recherche
des thèses françaises
Emily Riehl
IdRefMots clés
FR |
EN
Théorie des types
Homotopie
Fibrations (mathématiques)
Catégories (mathématiques)
Algèbre homotopique
Modèles mathématiques
Catégories supérieures
Théorie des types dépendants
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