Lawvere-Theorie

Eine Lawvere-Theorie ist eine kleine Kategorie mit endlichen Produkten, deren Objekte endliche Potenzen eines ausgezeichneten Objekts sind (meist durch natürliche Zahlen indiziert). Sie dient zur Darstellung finiter, einstufiger algebraischer Theorien: Operationen sind Morphismen und Gleichungen kommutative Diagramme.

Eine kleine Kategorie mit endlichen Produkten, deren Objekte endliche Potenzen eines ausgezeichneten Objekts sind, und deren produkt-erhaltende Funktoren nach Set den Modellen einer finitären algebraischen Theorie entsprechen; sie kodiert operationale Signaturen und Gleichungen kategorisch.