164 citations · 1.4k across the 51 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
math.CT2008★ 51 cited
Notions of Lawvere theory
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…
math.CT2008★ 16 cited
Note on the construction of free monoids
Stephen Lack
We construct free monoids in a monoidal category with finite limits and countable colimits, in which tensoring on either side preserves reflexive coequalizers and colimits of count…