COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > The Microcosm Principle and Coalgebraic Modeling of Component Calculi

## The Microcosm Principle and Coalgebraic Modeling of Component CalculiAdd 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. |
## Other listsWolfson Informal Lunchtime Seminar Series A Year at the Synapse: where Pre meets Post Palestinians in Israel: Segregation, Discrimination and Democracy## Other talksConstructing the virtual fundamental cycle Epigenetics - Why DNA Is Not Your Destiny Science Makers: multispectral imaging with Raspberry Pi Active Machine Learning: From Theory to Practice Electoral intrigue, ethnic politics and the vibrancy of the Kenyan public sphere 'Politics in Uncertain Times: What will the world look like in 2050 and how do you know? Knot Floer homology and algebraic methods A rose by any other name Graph Legendrians and SL2 local systems Refugees and Migration Downstream dispersion of bedload tracers |