Covarieties of Coalgebras: Comonads and Coequations

  title={Covarieties of Coalgebras: Comonads and Coequations},
  author={Ranald Clouston and Robert Goldblatt},
Coalgebras provide effective models of data structures and state-transition systems. A virtual covariety is a class of coalgebras closed under coproducts, images of coalgebraic morphisms, and subcoalgebras defined by split equalisers. A covariety has the stronger property of closure under all subcoalgebras, and is behavioural if it is closed under domains of morphisms, or equivalently under images of bisimulations. There are many computationally interesting properties that define classes of… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 25 references

The coalgebraic dual of Birkhoff’s variety theorem

  • S. Awodey, J. Hughes
  • Technical Report CMU-PHIL-109, Department of…
  • 2000
Highly Influential
4 Excerpts

Subcategories defined by implications

  • B. Banaschewski, H. Herrlich
  • Houston Journal of Mathematics 2
  • 1976
Highly Influential
3 Excerpts

Observational Ultrapowers for Polynomial Coalgebras

  • Philippe Balbiani
  • Equational Logic of Polynomial Coalgebras…
  • 2003

A Study of Categories of Algebras and Coalgebras

  • J. Hughes
  • PhD thesis, Carnegie Mellon University
  • 2001
2 Excerpts

Similar Papers

Loading similar papers…