2008-01-07 とりあえずメモ;後で書く メモ 1* = 1 なのか? ベキ等なトレース付き双デカルト圏で、(f+)+ = f+ と (f*)* = f* の計算 力学系と作用素半環として解釈したときの、クリーネ一様性の意味 クリーネ・スターを生成作用素の片側S行列として解釈 →クリーネ・スターと片側S行列 - 檜山正幸のキマイラ飼育記 メモ編 コンウェイ半環と一様写像の圏は不動点またはトレースを持つだろうか?