文章基本信息

标题：テスト付きクリーニ代数の準代数構造
本地全文：下载
作者：木下佳樹 ; 古澤仁
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2003
卷号：20
期号：2
页码：163-169
DOI：10.11309/jssst.20.163
出版社：Japan Society for Software Science and Technology
摘要：
KozenとSmithは，有限集合B，Σの対が自由生成するテスト付クリーニ代数を構成する方法を与えた．われわれは，有限性の仮定をはずし，任意の集合の対B，Σについて，それらが自由生成するテスト付きクリーニ代数の存在を示した．さらに，KozenとSmithが要素を明示することによって構成したテスト付きクリーニ代数が，クリーニ代数や羃等半環，ブール代数に加えて単位クォンテールなどの圏の間の随伴函手や単位クォンテールの直和構成を用いて得られることを明らかにする．