1 Answers
In category theory, a Lawvere theory is a category that can be considered a categorical counterpart of the notion of an equational theory.
4 views
Answered
In category theory, a Lawvere theory is a category that can be considered a categorical counterpart of the notion of an equational theory.