@inproceedings{9ae9fc1968524b51a4bc1392d7991eb8,
title = "The microcosm principle and concurrency in coalgebras",
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.",
author = "I. Hasuo and B.P.F. Jacobs and A. Sokolova",
year = "2008",
doi = "10.1007/978-3-540-78499-9_18",
language = "English",
isbn = "978-3-540-78497-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "246--260",
editor = "R. Amadio",
booktitle = "Foundations of Software Science and Computational Structures (Proceedings 11th International Conference, FoSSaCS 2008, Budapest, Hungary, March 29-April 6, 2008)",
address = "Germany",
}