The Microcosm Principle and Coalgebraic Modeling of Component Calculi

Add to your list(s) Download to your calendar using vCal

• Ichiro Hasuo, Kyoto
• Friday 27 November 2009, 14:00-15:00
• Room FW11, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Sam Staton.

The microcosm principle is a terminology coined by Baez and Dolan to describe a phenomenon where a category C and its object X \in C both have the same algebraic structure, i.e. an inner algebra X residing in an outer algebra C. A classic example is “a monoid object in a monoidal category.”

In this talk I demonstrate another example—arising from process theory—carried by “the final coalgebra in a category of coalgebras.” Here the shared algebraic structure is that of some process algebra. This categorical view brings new insight to the study of systems as coalgebras which are composed to yield a larger system—via a component calculus. Our main result is a general compositionality theorem: the behavior of a composed system is determined by its constituent systems (components).

I will also discuss the relationship to semantics of functional programming. A suitable axiomatization of Hughes’ notion of arrow yields Freyd categories as models when it is interpreted in Sets; we present its model in CAT that uses coalgebras, where the axiomatization plays a role of a component calculus. Again compositionality is for free. I also wish to mention recent work where a GSOS specification is canonically turned into a component calculus, from which we can derive parallel composition S||T of two LTSs, replication !S of an LTS S , etc.

This talk is based on joint work with Chris Heunen (Oxford), Bart Jacobs (Nijmegen) and Ana Sokolova (Salzburg).

http://www.kurims.kyoto-u.ac.jp/~ichiro/

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• Room FW11, Computer Laboratory, William Gates Building
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.