Iteration 2-theories

S. L. Bloom, Z. Ésik, A. Labella, E. G. Manes

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

The axioms of iteration 2-theories capture, up to isomorphism, the equational properties of iteration in conjunction with horizontal and vertical composition in all algebraically complete categories. We give a concrete representation of the free iteration 2-theory generated by a 2-signature.

Original languageEnglish
Pages (from-to)173-216
Number of pages44
JournalApplied Categorical Structures
Volume9
Issue number2
DOIs
Publication statusPublished - Mar 1 2001

    Fingerprint

Keywords

  • 2-Categories
  • Algebraic theories
  • Equational logic
  • Fixed point operation
  • Initiality
  • Iteration theories
  • Rewriting

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Bloom, S. L., Ésik, Z., Labella, A., & Manes, E. G. (2001). Iteration 2-theories. Applied Categorical Structures, 9(2), 173-216. https://doi.org/10.1023/A:1008708924144