A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Free iterative theories: a coalgebraic view
2003
Mathematical Structures in Computer Science
Every finitary endofunctor of Set is proved to generate a free iterative theory in the sense of Elgot. This work is based on coalgebras, specifically on parametric corecursion, and the proof is presented for categories more general than just Set.
doi:10.1017/s0960129502003924
fatcat:ozymshakqfhi5kb3logrbfuini