コンピュータサイエンス研究会

研究会名：コンピュータサイエンス研究会

開催日：平成20年9月17日（水）15:00～17:00

テーマ：The Microcosm Principle and Concurrency in Coalgebra

講師：蓮尾一郎（京都大学）

開催場所：東北大学　電気情報系3号館 201号室

コンピュータサイエンス研究会講演会の御案内

コンピュータサイエンス研究会
主査　小林直樹

下記のようにコンピュータサイエンス研究会の講演会を開催いたしますので，ご案内申し上げます．

日時：2008年9月17日（水）15:00～17:00
場所：東北大学電気情報系3号館 201号室
題目：The Microcosm Principle and Concurrency in Coalgebra
話者：蓮尾一郎（京都大学）
概要： 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 talk we present 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.