Catégories et foncteurs

Soient L une théorie du premier ordre et C la catégorie des modèles de L . Le foncteur naturel de C dans Ens qui envoie tout objet de C sur son ensemble sous-.


Un extrait du document