Notions of computation and monads
Information and Computation
Science of Computer Programming - Special issue on mathematics of program construction
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Modelling environments in call-by-value programming languages
Information and Computation
Premonoidal categories and notions of computation
Mathematical Structures in Computer Science
Comonadic Notions of Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Categorical semantics for arrows
Journal of Functional Programming
The microcosm principle and concurrency in coalgebra
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Coalgebraic components in a many-sorted microcosm
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Traces for coalgebraic components
Mathematical Structures in Computer Science
Hi-index | 0.00 |
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.