Morphismes et Structures Algebriques

Abstract

Dans ce qui suit exposons les fondements de la théorie des esquisses, c'est-à-dire de la théorie des structures algébriques décrites au moyen d'un graphe multiplicatif, telle qu'elle a été introduite par C. Ehresmann dans [E. T. S. A ] Elle constitue une généralisation des théories de Lawvere et Bénabou.

Nous développons, d'autre part, deux résultats récents qui résolvent le problème, pour une catégorie donnée, de trouver une description (i.e. une esquisse) de ses unités et de ses morphiames, lorsqu'ils sont considérés comme des structures et des homomorphismes algébriques d'un certain type. Ces résultats généralisent ceux obtenus par Gabriel et Ulmer dans [L. P. L. G.].