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

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

プロトキン／パワーのストレージ代数

課題 モナド プログラム意味論

ストレージ代数の公理は次の記事で引用している。

モノイド、コモノイド、双モノイド、加群、余加群、双加群と入れ替え（スワッパー）の文脈で考える必要がある。

これは、ほんとに真面目に考える必要があるぞ。

Gordon Plotkin and John Power "Notions of Computation Determine Monads" は、次のどちらからでも入手できる。