The Microcosm Principle and Concurrency in Coalgebras

1
The Microcosm Principle andConcurrency in
Coalgebras

• Ichiro Hasuo
• Radboud University Nijmegen, the Netherlands
• Kyoto University, Japan

Joint work with Bart Jacobs Radboud
U. Nijmegen, NL Ana Sokolova
U. Salzburg, Austria
2
1-slide review of coalgebra/coinduction
abstraction, genericity, (joy)

• Theory of coalgebras
• 田ategorical theory of state-based systems