2009-07-30から1日間の記事一覧
関手の結合は図式順とするとき、 RA(X) = X×A AL(X) = A×X とすると、指数法則の記述がうまくいく。指数法則を記述すると、自然に結合律同型（associator）と単位律同型（unitor）が出てくる。まー、やってみそ。
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
