Free iterative theories: a coalgebraic view

JIR ADMEK, STEFAN MILIUS, JIR VELEBIL
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