テスト付きクリーニ代数の準代数構造

Kozen とSmith は，有限集合B，Σ の対が自由生成するテスト付クリーニ代数を構成する方法を与えた．我々は，有限性の仮定をはずし，任意の集合の対B，Σ について，それらが自由生成するテスト付きクリーニ代数の存在を示した．さらに，Kozen とSmith が要素を明示することによって構成したテスト付きクリーニ代数が，クリーニ代数や羃等半環，ブール代数に加えて単位クォンテールなどの圏の間の随伴函手や単位クォンテールの直和構成を用いて得られることを明らかにする．...

Full description

Saved in:
Bibliographic Details
Published in日本ソフトウェア科学会大会講演論文集 p. 2E3
Main Authors 古澤, 仁, 木下, 佳樹
Format Journal Article
LanguageJapanese
Published 日本ソフトウェア科学会 2002
Online AccessGet full text
ISSN1349-3515
DOI10.11309/jssstconference.19.0.2E3.0

Cover

More Information
Summary:Kozen とSmith は，有限集合B，Σ の対が自由生成するテスト付クリーニ代数を構成する方法を与えた．我々は，有限性の仮定をはずし，任意の集合の対B，Σ について，それらが自由生成するテスト付きクリーニ代数の存在を示した．さらに，Kozen とSmith が要素を明示することによって構成したテスト付きクリーニ代数が，クリーニ代数や羃等半環，ブール代数に加えて単位クォンテールなどの圏の間の随伴函手や単位クォンテールの直和構成を用いて得られることを明らかにする．
Bibliography:2E-3
ISSN:1349-3515
DOI:10.11309/jssstconference.19.0.2E3.0