graded comonad

Last updated Oct 7, 2024

• Graded coalgebra

• graded comonoid
• graded reader comonad
• graded comonad of paths
• graded coalgebra
• graded comonoid of paths