All Questions

This is a reference request for the following "well-known" theorems in category theory: There is an equivalence of categories between finitary monads on $\mathbf{Set}$ and finitary Lawvere ...