graded coalgebra on a graded monad

In the most general definition, we have a monoid action-graded coalgebra for a monoid-graded monad.

See also.

• coinductive Brownian motion
• rational intervals as a graded coalgebra
• graded comonad
• monad graded coalgebra

References.

• graded coalgebra