This entry is about * [[Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads]], [pdf](https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2007/hp07.pdf)