The Formal Theory of Monads, Univalently.

Niels van der Weide

Browse the full FSCD paper archive.