Dualizing Clones as Models of Lawvere Theories

While universal algebraists are well aware of the equivalence between abstract clones and Lawvere theories as well as that of concrete clones and models of Lawvere theories in the category of sets, they almost never use the category-theoretic framework. It seems as if they simply do not see a reason why it might be beneficial to use category theory in order… CONTINUE READING