Théorie de Lawvere

Une théorie de Lawvere est une petite catégorie munie de produits finis dont les objets sont les puissances finies d'un objet distingué (souvent indexées par les entiers naturels), servant à présenter des théories algébriques finitaires à un seul tri : les opérations sont des morphismes et les équations des diagrammes commutatifs.

Une petite catégorie à produits finis dont les objets sont des puissances finies d'un objet distingué et dont les foncteurs préservant les produits vers Set correspondent aux modèles d'une théorie algébrique finitaire ; elle encode catégoriquement opérations algébriques et équations.