Video From 21w5251: Tangent Categories and their Applications (Online)

Friday, June 18, 2021 10:30 - 10:59
Monad-comonad interaction laws (co)algebraically

Download this video (39M)

Other videos from this workshop