TY  - RPRT
TI  - Generalization of formal monad theory to lax functors
AU  - Kengo Hirata
PY  - 2024
UR  - https://arxiv.org/abs/2301.06420
ID  - 2301.06420
ER  -