See also. coinductive Brownian motion rational intervals as a graded coalgebra graded comonad monad graded coalgebra References. graded coalgebra
