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. |
Year | Venue | Keywords |
---|---|---|
2009 | CALCO | lawvere theory,coalgebraic component calculus,coalgebraic component,many-sorted microcosm,functional programming,coalgebraic components corresponds,algebraic structure,microcosm principle,microcosm structure,compositional behavior systematically,many-sorted setting,mathematical physics |
Field | DocType | Volume |
Principle of compositionality,Discrete mathematics,Arrow,Monoidal category,Functional programming,Algebra,Computer science,Algebraic structure,Pure mathematics,Microcosm | Conference | 5728 |
ISSN | ISBN | Citations |
0302-9743 | 3-642-03740-2 | 6 |
PageRank | References | Authors |
0.46 | 13 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ichiro Hasuo | 1 | 260 | 26.13 |
Chris Heunen | 2 | 112 | 15.73 |
B. Jacobs | 3 | 1046 | 100.09 |
Ana Sokolova | 4 | 254 | 18.88 |