とても簡単なトレース付きモノイド圏
(A, B, X) を集合の3つ組として、A∩X = B∩X = 空 なものとする。ただし、A∩Bは空である必要はない。
(A, B, X);(B, C, Y) = (A, C, X+B+Y) 、Tr(A+X, B+X, Z) = (A, B, X + Z) と定義すると、やたらに簡単なトレース付きモノイド圏になる。
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
(A, B, X) を集合の3つ組として、A∩X = B∩X = 空 なものとする。ただし、A∩Bは空である必要はない。
(A, B, X);(B, C, Y) = (A, C, X+B+Y) 、Tr(A+X, B+X, Z) = (A, B, X + Z) と定義すると、やたらに簡単なトレース付きモノイド圏になる。