= Lawvere theory
{wiki=Lawvere_theory}
Lawvere theory is a concept in category theory and is named after the mathematician William Lawvere, who introduced it in the context of topos theory and categorical logic. A Lawvere theory is essentially a generalization of a model of a universal algebra, and it provides a framework for discussing algebraic structures in a categorical manner. \#\#\# Definition: A **Lawvere theory** is typically defined as a category \\(\\mathcal\{L\}\\) that satisfies certain properties.
Back to article page
