Sciweavers

Share
IANDC
2010

Coequational logic for accessible functors

9 years 1 months ago
Coequational logic for accessible functors
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, covarieties are classes of H-coalgebras that can be presented by coequations. Ad
Daniel Schwencke
Added 03 Mar 2011
Updated 03 Mar 2011
Type Journal
Year 2010
Where IANDC
Authors Daniel Schwencke
Comments (0)
books