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 élémentaires en morphismes d’ensembles simpliciaux. Pour finir, une comparaison est esquissée entre classes élémentaires de modèles (au sens de la théorie des modèles) et catégories de modèles (au sens de la théorie de l’homotopie).
This paper endeavors to show the possible application to model theory of concepts coming from modern homotopy theory. In particular, the concept of simplicial set can be brought into play to describe the formulas of a first-order language L, the definable subsets of an L-structure, as well as the type spaces of a theory expressed in L. It is shown that to any L-structure can be associated a simplicial set, according to a functorial mapping that associates simplicial maps to elementary embeddings. Finally, a comparison is sketched between elementary classes of models (in the model-theoretic sense) and model categories (in the homotopy-theoretic sense).
@article{AFST_2013_6_22_5_1017_0,
author = {Halimi, Brice},
title = {Sur une application possible du concept d{\textquoteright}homotopie \`a la th\'eorie des mod\`eles},
journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques},
pages = {1017--1043},
year = {2013},
publisher = {Universit\'e Paul Sabatier, Institut de Math\'ematiques},
address = {Toulouse},
volume = {6e s{\'e}rie, 22},
number = {5},
doi = {10.5802/afst.1394},
zbl = {06291364},
mrnumber = {3154585},
language = {fr},
url = {http://geodesic.mathdoc.fr/articles/10.5802/afst.1394/}
}
TY - JOUR AU - Halimi, Brice TI - Sur une application possible du concept d’homotopie à la théorie des modèles JO - Annales de la Faculté des sciences de Toulouse : Mathématiques PY - 2013 SP - 1017 EP - 1043 VL - 22 IS - 5 PB - Université Paul Sabatier, Institut de Mathématiques PP - Toulouse UR - http://geodesic.mathdoc.fr/articles/10.5802/afst.1394/ DO - 10.5802/afst.1394 LA - fr ID - AFST_2013_6_22_5_1017_0 ER -
%0 Journal Article %A Halimi, Brice %T Sur une application possible du concept d’homotopie à la théorie des modèles %J Annales de la Faculté des sciences de Toulouse : Mathématiques %D 2013 %P 1017-1043 %V 22 %N 5 %I Université Paul Sabatier, Institut de Mathématiques %C Toulouse %U http://geodesic.mathdoc.fr/articles/10.5802/afst.1394/ %R 10.5802/afst.1394 %G fr %F AFST_2013_6_22_5_1017_0
Halimi, Brice. Sur une application possible du concept d’homotopie à la théorie des modèles. Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Numéro Spécial à l’occasion du Workshop Homotopie, 20-21 octobre 2011, Institut mathématique de Toulouse, Tome 22 (2013) no. 5, pp. 1017-1043. doi: 10.5802/afst.1394
Cité par Sources :