TY - RPRT TI - Lawvere theories, finitary monads and Cauchy-completion AU - Richard Garner PY - 2013 UR - https://arxiv.org/abs/1307.2963 ID - 1307.2963 ER -