結合律と左単位律を満たし、右単位律を満たさない例を見つけた。基点付き集合の直和の圏で考えるのだけど、他の圏でも出来るかもしれない。(A, ⊥A), (B, ⊥B) などを基点付き集合圏の対象として、直和は、AとBの集合直和を作って基点⊥Aと⊥Bを同一視した新しい…

サイクルじゃなくてサークル。イエッターの本で、圏Cに対して E(C) = Σ(A∈Obj(C) | End(A)) として、E(C)にトレース同値 f;g = g;f を入れた集合を定義していた。同じ概念に別な定義をしている例もある。そしてこれは、圏のサイクルとかループとか呼ばれるこ…