. . . . "In category theory, a Lawvere theory (named after American mathematician William Lawvere) is a category that can be considered a categorical counterpart of the notion of an equational theory."@en . . "1110881349"^^ . . . . . . . "Lawvere theory"@en . . . . . . . . . . . . "2862"^^ . . . . . . "In category theory, a Lawvere theory (named after American mathematician William Lawvere) is a category that can be considered a categorical counterpart of the notion of an equational theory."@en . . . . "22305825"^^ . .