Sémantique Fonctorielle

Une approche qui interprète une catégorie syntaxique (présentant une théorie ou un langage) comme une classe d'objets dans une catégorie sémantique au moyen de foncteurs qui préservent la structure syntaxique requise par la théorie ; les modèles sont les foncteurs qui réalisent les opérations syntaxiques comme des applications sémantiques qui conservent la structure.