Hostname: page-component-78c5997874-ndw9j Total loading time: 0 Render date: 2024-11-18T18:55:56.770Z 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
Get access Rights & Permissions [Opens in a new window]

Abstract

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

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

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)