@ARTICLE{2022arXiv221208515V,
    author = {{van der Weide}, Niels},
    title = {{The Formal Theory of Monads, Univalently}},
    journal = {arXiv e-prints},
    keywords = {Computer Science - Logic in Computer Science, Mathematics - Category Theory},
    year = {2022},
    month = {dec},
    eid = {arXiv:2212.08515},
    pages = {arXiv:2212.08515},
    doi = {10.48550/arXiv.2212.08515},
    archiveprefix = {arXiv},
    eprint = {2212.08515},
    primaryclass = {cs.LO},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2022arXiv221208515V},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2024-2-6 14:29:10 +0100}
}

@ARTICLE{2022arXiv221208515V, author = {{van der Weide}, Niels}, title = {{The Formal Theory of Monads, Univalently}}, journal = {arXiv e-prints}, keywords = {Computer Science - Logic in Computer Science, Mathematics - Category Theory}, year = {2022}, month = {dec}, eid = {arXiv:2212.08515}, pages = {arXiv:2212.08515}, doi = {10.48550/arXiv.2212.08515}, archiveprefix = {arXiv}, eprint = {2212.08515}, primaryclass = {cs.LO}, adsurl = {https://ui.adsabs.harvard.edu/abs/2022arXiv221208515V}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, date-added = {2024-2-6 14:29:10 +0100} }