2016-12-27 クリーネ代数の圏化 トレース/コンパクト閉圏 プログラム意味論 リンク 新→旧 の順 計算科学における半加法圏の位置付け テンソル半加法圏とプログラム意味論 個体と世界の関係:圏から論理半環を絞り出す クリーネ代数の「テスト」を圏論的に定義できるだろうか? クリーニ代数と圏論 トレースを使ってクリーネスター(またはクリーネプラス)を計算する方法の概略 テスト付きクリーネ代数の圏論的な定式化 テスト付きクリーネ代数とその使い方