graded comonad

Last updated Feb 15, 2025

• Graded coalgebra

• graded comonoid
• graded reader comonad
• graded comonad of paths
• graded coalgebra
• graded coalgebra on a graded monad
• graded comonoid of paths