TY - RPRT TI - Discrete Lawvere theories and monads AU - Jiří Rosický PY - 2024 DO - 10.1017/s0960129525100443 UR - https://arxiv.org/abs/2411.02841 ID - 2411.02841 ER -