Equational properties of iteration in algebraically complete categories

Zoltán Ésik, Anna Labella

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

The main result is the following completeness theorem: If the fixed point operation over a category is defined by initiality, then the equations satisfied by the fixed point operation are exactly those of iteration theories. Thus, in such categories, the equational axioms of iteration theories provide a sound and complete axiomatization of the equational properties of the fixed point operation.

Original languageEnglish
Title of host publicationMathematical Foundations of Computer Science 1996 - 21st International Symposium, MFCS 1996, Proceedings
EditorsWojciech Penczek, Andrzej Szalas
PublisherSpringer Verlag
Pages336-347
Number of pages12
ISBN (Print)3540615504, 9783540615507
DOIs
Publication statusPublished - 1996
Event21st International Symposium on Mathematical Foundations of Computer Science, MFCS 1996 - Cracow, Poland
Duration: Sep 2 1996Sep 6 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1113
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other21st International Symposium on Mathematical Foundations of Computer Science, MFCS 1996
CountryPoland
CityCracow
Period9/2/969/6/96

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Equational properties of iteration in algebraically complete categories'. Together they form a unique fingerprint.

  • Cite this

    Ésik, Z., & Labella, A. (1996). Equational properties of iteration in algebraically complete categories. In W. Penczek, & A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996 - 21st International Symposium, MFCS 1996, Proceedings (pp. 336-347). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1113). Springer Verlag. https://doi.org/10.1007/3-540-61550-4_160