Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Automata and Algebras in Categories
Automata and Algebras in Categories
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Theoretical Computer Science
Mathematical Structures in Computer Science
On tree coalgebras and coalgebra presentations
Theoretical Computer Science
On the final sequence of a finitary set functor
Theoretical Computer Science
Terminal coalgebras and free iterative theories
Information and Computation
Coequational Logic for Finitary Functors
Electronic Notes in Theoretical Computer Science (ENTCS)
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
CIA structures and the semantics of recursion
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Hi-index | 0.00 |
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. Adamek introduced a logic of coequations and proved soundness and completeness for all polynomial functors on the category of sets. Here this result is extended to accessible functors: given a presentation of an accessible functor H, simple deduction systems for coequations are formulated and it is shown that regularity of the presentation implies soundness and completeness of these deduction systems. The converse is true whenever H has a non-trivial terminal coalgebra. Also a method is found to obtain concrete descriptions of cofree (and thus terminal) coalgebras of accessible functors, and is applied to the finite and countable powerset functor as well as to the finite distribution functor.