Comonads on a cartesian are monoidal

Last updated Apr 10, 2023

Tags: Comonad, Opmonoidal comonad.