Stem comonad$ (all stems)

4 papers:

FoSSaCS-2012-AhmanCU #monad #question

When Is a Container a Comonad? (DA, JC, TU), pp. 74–88.

IFL-2012-OrchardM #monad

A Notation for Comonads (DAO, AM), pp. 1–17.

BX-2011-Gibbons1 #algebra #lens #monad

Lenses are Coalgebras for the Costate Comonad (JG), p. 56.

RTA-1995-Gehrke #category theory #concept #monad #problem

Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad (WG), pp. 210–224.