Tag: graded-coalgebra

• Oct 7, 2024

  graded comonad

  • Graded-Coalgebra