On Corecursive Algebras for Functors Preserving Coproducts

Jiří Adámek, Stefan Milius

For an endofunctor $H$ on a hyper-extensive category preserving countable coproducts we describe the free corecursive algebra on $Y$ as the coproduct of the final coalgebra for $H$…