Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10334330 | Theoretical Computer Science | 2011 | 17 Pages |
Abstract
We extend Barr's well-known characterization of the final coalgebra of a Set-endofunctor H as the completion of its initial algebra to the Eilenberg-Moore category Alg(M) of algebras associated to a Set-monad M, if H can be lifted to Alg(M). As further analysis, we introduce the notion of a commuting pair of endofunctors (T,H) with respect to a monad M and show that under reasonable assumptions, the final H-coalgebra can be obtained as the completion of the free M-algebra on the initial T-algebra.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
A. Balan, A. Kurz,