Tarmo Uustalu, Video: Monad-comonad interaction laws (co)algebraically
Tarmo Uustalu, Video: Monad-comonad interaction laws (co)algebraically
Tarmo Uustalu, Monad-comonad interaction laws (co)algebraically, Tangent Categories and their Applications (Online), BIRS, BIRS talk, 21w5251, math, mathematics, video