2006-04-15から1日間の記事一覧
昨日： 実際、モナドはとある圏のモノイドになっている。 そうなることを追いかけておく（概略）。Cが圏だとして(C, *, I)がモノイド圏（monoidal cat.）とは： -*-:C×C → C は2項関手 I∈|C|は特定の対象 結合律と単位律が成立する。 イコール記号をいくつか…
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
