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

• Type: Journal
• Year: 2010
• Where: IANDC
• Authors: Daniel Schwencke
• Keywords: Accessible Functor, Business, Deduction Systems, Functor, IANDC 2010