このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2008-04-14から1日間の記事一覧

モノイド圏の別な公理化

これでいいと思う。 I*f = f*I = f (f*B)*C = f*(B×C), B*(C*f) = (B×C)*f B*(f*C) = (B*f)*C C*(f;g) = (C*f);(C*g), (f;g)*C = (f*C);(g*C) idA*B = idA×B, B*idA = idB×A (f*B);(A';g) = (A*g);(f;B')