Grading monads, comonads, distributive laws (Uustalu)Last updated Nov 12, 2024Slides based on Towards a Formal Theory of Graded Monads (Fujii, Katsumata, Melliès).