Sur une application possible du concept d’homotopie à la théorie des modèles
Cet article vise à appliquer certains concepts de la théorie moderne de l’homotopie à la théorie des modèles. En particulier, le concept d’ensemble simplicial est employé pour décrire les formules d’un langage L du premier ordre, les ensembles définissables d’une structure d’interprétation de L, et les espaces de types d’une théorie couchée dans L. On montre qu’à toute structure d’interprétation de L peut être associé un ensemble simplicial, selon une correspondance fonctorielle qui traduit plongements...