graded comonad of paths

Tags: graded comonad, coalgebraic physics, monad graded coalgebra.