IOと似てる気がするが、、、こたつの上のカゴにミカンが入っている。ミカンは自分の小皿に取ってから食べるとする。 eat(n) -- 小皿からn個食べる take(n) -- カゴから小皿にn個取る back(n) -- 要らないのでカゴにn個戻す put(n) -- カゴにミカンをn個供給

参考： イイカゲンな型システムを求めて - 檜山正幸のキマイラ飼育記 (はてなBlog) イイカゲンな型推論を求めて - 檜山正幸のキマイラ飼育記 (はてなBlog) JSONスキーマのローカル構文に関する思案・試案 - 檜山正幸のキマイラ飼育記 (はてなBlog) JSON型シ…

「indexed圏」という言葉はどうも使いにくい。圏バンドル、あるいは単にバンドルにしようかな、勝手に。幾何学のバンドルと同じ言葉にすると、 底圏 ファイバー圏 全圏（ただし、グロタンディーク構成） 接続（底圏の射に対してファイバー圏の関手が対応して…

cathandはCaty（キャティ）にリネーム。意味は特にないが、「猫っぽい」くらいな解釈。なにがどう猫っぽいかは不明。exec ＜ファイル名＞ でスクリプトファイルを実行する。exec は省略できて、単に ＜ファイル名＞ でも同じ。シェルの配下にはたくさんのイ…

Cは圏。End(C)は、Cの自己関手を対象、自然変換が射、関手結合をモノイド積、関手の水平結合を射のモノイド積とするモノイド圏だとする。また、Dがモノイド圏のとき、D内のモノイドの圏をMon(D)とする。C上のモナドの全体をMnd(C)とすると、Mnd(C) = Mon(End…