Teoría de Lawvere

Una teoría de Lawvere es una pequeña categoría con productos finitos cuyos objetos son potencias finitas de un objeto distinguido (a menudo indexadas por los naturales), usada para presentar teorías algebraicas finitas de un solo tipo: las operaciones son morfismos y las ecuaciones diagramas conmutativos.

Una pequeña categoría con productos finitos cuyos objetos son potencias finitas de un objeto distinguido y cuyos funtors que preservan productos hacia Set corresponden a modelos de una teoría algebraica finitaria; codifica operaciones y ecuaciones algebraicas categóricamente.