“…Consequently, corecursion tends to be relegated to a notion of coalgebras (Rutten, 2019), because only the language of category theory speaks clearly enough about their duality. This can be seen in the study of corecursion schemes, where coalgebraic "anamorphisms" (Meijer et al, 1991) and "apomorphisms" (Vos, 1995;Vene & Uustalu, 1998) are the dual counterparts to algebraic "catamorphisms" (Meertens, 1987;Meijer et al, 1991;Hinze et al, 2013) and "paramorphisms" (Meertens, 1992). Yet the logical and computational status of corecursion is not so clear.…”