@misc{indiciaef777ed7c7d06, title = {The formal theory of monoidal monads}, author = {Marek Zawadowski}, year = {2010}, url = {https://arxiv.org/abs/1012.0547}, note = {Source identifier: 1012.0547} }