6 citations · 6 across the 1 of their papers we have counts for
1 paper
Bart Jacobs
The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of this comonad…