Iteration 2-theories

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

Research output: Contribution to journalArticle

7 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 2001

Fingerprint

Concretes
Iteration
Chemical analysis
Axioms
Isomorphism
Signature
Horizontal
Vertical

Keywords

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

ASJC Scopus subject areas

  • Applied Mathematics

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

Iteration 2-theories. / Bloom, S. L.; Ésik, Z.; Labella, A.; Manes, E. G.

In: Applied Categorical Structures, Vol. 9, No. 2, 03.2001, p. 173-216.

Research output: Contribution to journalArticle

Bloom, SL, Ésik, Z, Labella, A & Manes, EG 2001, 'Iteration 2-theories', Applied Categorical Structures, vol. 9, no. 2, pp. 173-216. https://doi.org/10.1023/A:1008708924144
Bloom, S. L. ; Ésik, Z. ; Labella, A. ; Manes, E. G. / Iteration 2-theories. In: Applied Categorical Structures. 2001 ; Vol. 9, No. 2. pp. 173-216.
@article{e30980baf8184815b367dcd37c2055dc,
title = "Iteration 2-theories",
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.",
keywords = "2-Categories, Algebraic theories, Equational logic, Fixed point operation, Initiality, Iteration theories, Rewriting",
author = "Bloom, {S. L.} and Z. {\'E}sik and A. Labella and Manes, {E. G.}",
year = "2001",
month = "3",
doi = "10.1023/A:1008708924144",
language = "English",
volume = "9",
pages = "173--216",
journal = "Applied Categorical Structures",
issn = "0927-2852",
publisher = "Springer Netherlands",
number = "2",

}

TY - JOUR

T1 - Iteration 2-theories

AU - Bloom, S. L.

AU - Ésik, Z.

AU - Labella, A.

AU - Manes, E. G.

PY - 2001/3

Y1 - 2001/3

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

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

KW - 2-Categories

KW - Algebraic theories

KW - Equational logic

KW - Fixed point operation

KW - Initiality

KW - Iteration theories

KW - Rewriting

UR - http://www.scopus.com/inward/record.url?scp=0035277097&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035277097&partnerID=8YFLogxK

U2 - 10.1023/A:1008708924144

DO - 10.1023/A:1008708924144

M3 - Article

VL - 9

SP - 173

EP - 216

JO - Applied Categorical Structures

JF - Applied Categorical Structures

SN - 0927-2852

IS - 2

ER -