TY - JOUR

T1 - Categorifying computations into components via arrows as profunctors

AU - Asada, Kazuyuki

AU - Hasuo, Ichiro

PY - 2010/8/10

Y1 - 2010/8/10

N2 - The notion of arrow by Hughes is an axiomatization of the algebraic structure possessed by structured computations in general. We claim that an arrow also serves as a basic component calculus for composing state-based systems as components-in fact, it is a categorified version of arrow that does so. In this paper, following the second author's previous work with Heunen, Jacobs and Sokolova, we prove that a certain coalgebraic modeling of components-which generalizes Barbosa's-indeed carries such arrow structure. Our coalgebraic modeling of components is parametrized by an arrow A that specifies computational structure exhibited by components; it turns out that it is this arrow structure of A that is lifted and realizes the (categorified) arrow structure on components. The lifting is described using the first author's recent characterization of an arrow as an internal strong monad in Prof, the bicategory of small categories and profunctors.

AB - The notion of arrow by Hughes is an axiomatization of the algebraic structure possessed by structured computations in general. We claim that an arrow also serves as a basic component calculus for composing state-based systems as components-in fact, it is a categorified version of arrow that does so. In this paper, following the second author's previous work with Heunen, Jacobs and Sokolova, we prove that a certain coalgebraic modeling of components-which generalizes Barbosa's-indeed carries such arrow structure. Our coalgebraic modeling of components is parametrized by an arrow A that specifies computational structure exhibited by components; it turns out that it is this arrow structure of A that is lifted and realizes the (categorified) arrow structure on components. The lifting is described using the first author's recent characterization of an arrow as an internal strong monad in Prof, the bicategory of small categories and profunctors.

KW - algebra

KW - arrow

KW - coalgebra

KW - component

KW - computation

KW - profunctor

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

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

U2 - 10.1016/j.entcs.2010.07.012

DO - 10.1016/j.entcs.2010.07.012

M3 - Article

AN - SCOPUS:77955725802

SN - 1571-0661

VL - 264

SP - 25

EP - 45

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 2

ER -