2007-05-29から1日間の記事一覧
ビドォイト/ヘンニッカー/カーツ(Bidoit/Hennicker/Kurz)に従うとして、指標Σが観測的なら、余代数を定義する関手 Θ:SetS→SetSが定義される。指標Σが構成的(constructor-based)なら代数を定義する関手Ω:SetS→SetSも定義される。それに項関手TermΣ:SetS…
Title: Duality for Some Categories of Coalgebras (2001) Author: Robert Goldblatt URL: http://citeseer.ist.psu.edu/482873.html 20ページ、印刷したような気もするが忘れた Title: What is the Coalgebraic Analogue of Birkhoff's Variety Theorem? (…
ビドォイト/ヘンニッカー/カーツ(Bidoit/Hennicker/Kurz)双対性を調べてみたい理由は、これがXMLにモロに適用できそうだから。XMLを順序付き多ソート代数とそのモデルで定式化することは以前から考えていることだが、構文定義文法とオブジェクト指向風AP…
ビドォイト/ヘンニッカー/カーツ(Bidoit/Hennicker/Kurz)双対性に関して: Title: On the Duality between Observability and Reachability (2001) Authors: M. Bidoit, R. Hennicker, A. Kurz URL: http://citeseer.ist.psu.edu/bidoit01duality.html 2…