graded coalgebra on a graded monadLast updated Mar 5, 2025See also.coinductive Brownian motiongraded comonadmonad graded coalgebraReferences.graded coalgebra