Abstract | ||
---|---|---|
Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same algebraic theory is interpreted in two different domains in a nested manner, namely: in the category of coalgebras, and in the final coalgebra as an object in it. This phenomenon is what Baez and Dolan have called the microcosm principle, a prototypical example of which is "a monoid in a monoidal category." In this paper we obtain a formalization of the microcosm principle in which such a nested model is expressed categorically as a suitable lax natural transformation. An application of this account is a general compositionality result which supports modular verification of complex systems. |
Year | Venue | Keywords |
---|---|---|
2008 | FoSSaCS | categorical presentation,nested model,complex system,nested manner,algebraic theory,general compositionality result,microcosm principle,final coalgebra,monoidal category,different domain,natural transformation |
Field | DocType | Volume |
Principle of compositionality,Discrete mathematics,Enriched category,Monoidal category,Computer science,Concurrency,Coalgebra,Pure mathematics,Composition operator,Monoid,Algebraic theory | Conference | 4962 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-78497-7 | 13 |
PageRank | References | Authors |
0.71 | 17 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ichiro Hasuo | 1 | 260 | 26.13 |
B. Jacobs | 2 | 1046 | 100.09 |
Ana Sokolova | 3 | 254 | 18.88 |