Tags: Map pseudomonoid, Centre of a comonad, Commutativity (Garner, Lopez Franco, 2015), Central Submonads and Notions of Computation (Carette, Lemonnier, Zamdzhiev).
Tags: Map pseudomonoid, Centre of a comonad, Commutativity (Garner, Lopez Franco, 2015), Central Submonads and Notions of Computation (Carette, Lemonnier, Zamdzhiev).