Share with your friends
hdshahin01

Call

In category theory, a Lawvere theory is a category that can be considered a categorical counterpart of the notion of an equational theory.