Modèles et catégories de modèles

ignatus

Bonjour,
je me permets d'ouvrir un fil alors que je n'y connais rien sur le sujet, mais j'espère, suivant les réponses, obtenir une motivation pour en savoir un peu plus.

La question basique que je me pose est de savoir dans quelle mesure, à travers le développement de la théorie de l'homotopie, la notion de catégories de modèles apporte quelque chose à la théorie des modèles usuels.
Merci.
ignatus.

[Utilisateur supprimé]

Tu peux formaliser la théorie des catégories via la théorie des modèles : tu passes par un modèle de ZF via lequel tu définis les catégories.
Tu peux aussi travailler sur les modèles avec la théorie des catégories, en effet, étant donné un langage $L$ les propriétés de la catégorie des $L$-structures font partie des propriétés étudiées en théorie des modèles.
Je ne sais pas si cela répond à ta question. Sinon je ne suis pas familier avec la théorie de l'homotopie.