@article{vanderweide-2025-thex, title={The Formal Theory of Monads, Univalently}, volume={Volume 21, Issue 1}, ISSN={1860-5974}, url={http://dx.doi.org/10.46298/lmcs-21(1:16)2025}, DOI={10.46298/lmcs-21(1:16)2025}, journal={Logical Methods in Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={van der Weide, Niels}, year={2025}, month=Feb }