On varieties and covarieties in a category
- 1 February 2003
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 13 (2) , 201-232
- https://doi.org/10.1017/s0960129502003882
Abstract
A concept of equation morphism is introduced for every endofuctor categories.By dualising, we arrive at a concept of coequation such that covarieties, that is, coequationally specified classes of coalgebras with cofree objects, correspond precisely to comonadic categories. Natural examples of covarieties are presented.Keywords
This publication has 0 references indexed in Scilit: