対象が{0, 1}である圏を考える。id0=0, id1=1、id以外の射は： θ:0→1 !:1→0 z:1→1 関係は、θ;! = 0, !;θ = z。z;z = zは出る（z;z = !;θ;!;θ = !;0;θ = !;θ = z）。表にする。縦;横 と見る。 ; θ ! z θ - 0 θ ! z - - z - ! z 2対象5射の圏になる。対象{0, 1…

圏Cがクリーネ圏であって、さらに次を満たすとする。 対象はブール代数である（半環とみなす） homset C(A, B)を可換モノイドとみなして、左スカラー乗法LA,B:A×C(A, B)→C(A, B)が左半加群構造を与える。 同じく、右スカラー乗法RA,B:C(A, B)×B→C(A, B)が右…

見た目がTeXとは思えないので覗いてみたら： %!PS-Adobe-3.0 %%Title: (N'western 97 for web) %%Creator: (MacWrite Pro: LaserWriter 8 8.3.3) %%CreationDate: (16:21 Thursday 20 March 1997) %%For: (Ross Street)というわけです。

トレース付き双デカルト・モノイド圏 - 檜山正幸のキマイラ飼育記 メモ編とかKozen圏 - 檜山正幸のキマイラ飼育記 メモ編にも書いてあるが、もとネタから念のため引き写しておく。 Kahl "Refactoring Heterogeneous Relation Algebras around Ordered Catego…