3 search results - page 1 / 1 » Covarieties of Coalgebras: Comonads and Coequations |
86
Voted
ICTAC
2005
Springer
15 years 6 months ago
2005
Springer
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 mo...
137
Voted
IANDC
2010
14 years 10 months ago
2010
Covarieties of coalgebras are those classes of coalgebras for an endofunctor H on the category of sets that are closed under coproducts, subcoalgebras and quotients. Equivalently,...
106
Voted
ENTCS
2002
15 years 18 days ago
2002
We show how coalgebras can be presented by operations and equations. This is a special case of Linton's approach to algebras over a general base category X, namely where X is...