graded coalgebra

Last updated Oct 16, 2024

Tags: coalgebra, graded comonad, graded comonad of paths.