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

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

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

開催日:平成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.

問い合わせ先

小林 直樹

内線:7177