Free iterative theories: a coalgebraic view

Finitary Coalgebra
DOI: 10.1017/s0960129502003924 Publication Date: 2003-04-04T11:19:34Z
ABSTRACT
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$.
SUPPLEMENTAL MATERIAL
Coming soon ....
REFERENCES (0)
CITATIONS (26)
EXTERNAL LINKS
PlumX Metrics
RECOMMENDATIONS
FAIR ASSESSMENT
Coming soon ....
JUPYTER LAB
Coming soon ....