51 citations · 273 across the 33 of their papers we have counts for
1 paper · 2 filters
Stephen Lack, Jiri Rosicky
Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equiva…