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

15 Citations (Scopus)

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.
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
PublisherSpringer
Pages246-260
ISBN (Print)978-3-540-78497-5
DOIs
Publication statusPublished - 2008

Publication series

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

Fingerprint

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

Cite this