Free iterative theories: a coalgebraic view

• DOI: 10.1017/s0960129502003924
• Publication Date: 2003-04-04T11:19:34Z
• Authors: JIR˘Í ADÁMEK; STEFAN MILIUS; JIR˘Í VELEBIL
• Keywords: Finitary; Coalgebra

Every finitary endofunctor of $\Set$ is proved to generate a free iterative theory in the sense Elgot. This work based on coalgebras, specifically parametric corecursion, and proof presented for categories more general than just $\Set$.