TY  - RPRT
TI  - The Formal Theory of Monads, Univalently
AU  - Niels van der Weide
PY  - 2025
DO  - 10.46298/lmcs-21(1:16)2025
UR  - https://arxiv.org/abs/2212.08515
ID  - 2212.08515
ER  -