TY  - RPRT
TI  - The Bénabou-Roubaud theorem via string diagrams
AU  - Jovana Obradović
PY  - 2026
UR  - https://arxiv.org/abs/2601.05691
ID  - 2601.05691
ER  -