coinductive Brownian motion graded comonad of paths Tags: coalgebra, graded coalgebra, coalgebraic physics.
