Search

• < Previous
• 1
• Next >

Bases as Coalgebras

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 are the topic of study in this paper (following earlier work). It is illustrated how such coalgebras-on-algebras can be&nbsp;[&hellip;]