Categorifying computations into components via arrows as profunctors

Kazuyuki Asada, Ichiro Hasuo

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)25-45
Number of pages21
JournalElectronic Notes in Theoretical Computer Science
Issue number2
Publication statusPublished - 2010 Aug 10


  • algebra
  • arrow
  • coalgebra
  • component
  • computation
  • profunctor


Dive into the research topics of 'Categorifying computations into components via arrows as profunctors'. Together they form a unique fingerprint.

Cite this