The microcosm principle and concurrency in coalgebras

I. Hasuo, B.P.F. Jacobs, A. Sokolova

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationFoundations of Software Science and Computational Structures (Proceedings 11th International Conference, FoSSaCS 2008, Budapest, Hungary, March 29-April 6, 2008)
EditorsR. Amadio
Place of PublicationBerlin
ISBN (Print)978-3-540-78497-5
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'The microcosm principle and concurrency in coalgebras'. Together they form a unique fingerprint.

Cite this