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...
| Autore principale: | |
|---|---|
| Natura: | Articolo |
| Lingua: | English |
| Pubblicazione: |
Logical Methods in Computer Science e.V.
2013-09-01
|
| Serie: | Logical Methods in Computer Science |
| Soggetti: | |
| Accesso online: | https://lmcs.episciences.org/741/pdf |