TY - RPRT TI - What is the universal property of the 2-category of monads? AU - Stephen Lack AU - Adrian Miranda PY - 2024 UR - https://arxiv.org/abs/2211.02210 ID - 2211.02210 ER -