面白いモノイド圏（かな？）

対象が{0, 1}である圏を考える。id₀=0, id₁=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}に、1+1 = 0として和（モノイド積）を入れる。次のように和を拡張する。

+	0	1	θ	!	z
0	0	1	θ	!	z
1	1	0	!	θ	0
θ	θ	!	0	z	!
!	!	θ	z	0	θ
z	z	0	!	θ	0

この和がモノイドになっているかな？ なっていればかなり面白い例になる。