Hostname: page-component-74656f9884-j7cmm Total loading time: 0 Render date: 2026-11-09T18:53:05.628Z Has data issue: false hasContentIssue false
  • English
  • Français

Free iterative theories: a coalgebraic view

Published online by Cambridge University Press:  02 April 2003

JIR˘Í ADÁMEK ,
STEFAN MILIUS  and
JIR˘Í VELEBIL
JIR˘Í ADÁMEK
Affiliation:
Institute of Theoretical Computer Science, Technical University, Braunschweig, Germany Email: adamek@iti.cs.tu-bs.de
STEFAN MILIUS
Affiliation:
Institute of Theoretical Computer Science, Technical University, Braunschweig, Germany Email: milius@iti.cs.tu-bs.de
JIR˘Í VELEBIL
Affiliation:
Institute of Theoretical Computer Science, Technical University, Braunschweig, Germany Email: velebil@iti.cs.tu-bs.de
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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$.

Information

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 13 , Issue 2 , April 2003 , pp. 259 - 320
Copyright
2003 Cambridge University Press