Coalgebraic Components in a Many-Sorted Microcosm

by Ichiro Hasuo , Chris Heunen , Bart Jacobs , Ana Sokolova

Citations:

5 - 2 self

Datum	Value	Source
TITLE	Coalgebraic Components in a Many-Sorted Microcosm	SVM HeaderParse 0.2
AUTHOR NAME	Ichiro Hasuo	SVM HeaderParse 0.2
AUTHOR AFFIL	1; RIMS	SVM HeaderParse 0.2
AUTHOR ADDR	Kyoto University, Japan	SVM HeaderParse 0.2
AUTHOR NAME	Chris Heunen	SVM HeaderParse 0.2
AUTHOR AFFIL	1; RIMS	SVM HeaderParse 0.2
AUTHOR ADDR	Kyoto University, Japan	SVM HeaderParse 0.2
AUTHOR NAME	Bart Jacobs	SVM HeaderParse 0.2
AUTHOR AFFIL	1; RIMS	SVM HeaderParse 0.2
AUTHOR ADDR	Kyoto University, Japan	SVM HeaderParse 0.2
AUTHOR NAME	Ana Sokolova	SVM HeaderParse 0.2
AUTHOR AFFIL	1; RIMS	SVM HeaderParse 0.2
AUTHOR ADDR	Kyoto University, Japan	SVM HeaderParse 0.2
ABSTRACT	Abstract. The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe compositional behavior systematically. Here we further illustrate the usefulness of the approach by extending it to a many-sorted setting. Then we can show that the coalgebraic component calculi of Barbosa are examples, with compositionality of behavior following from microcosm structure. The algebraic structure on these coalgebraic components corresponds to variants of Hughes’ notion of arrow, introduced to organize computations in functional programming. 1	SVM HeaderParse 0.2
CITATIONS	31 found	ParsCit 1.0