See also. Quoting comonad of a monad coalgebra coalgebra of the real interval Definitions of topology Opmonoidal comonad Shape and contents comonad