ホムセット（ホモセット）ならぬヘテロセット H(X, A) |C|×|D|→Set を考えると、CのHへの左作用、DのHへの右作用を考えた双加群は、プロ関手 H:Cop×D→Set, H:C-/→D になる。特に、C = D のとき、自己プロ関手は、左C-右C-双加群となる。以上はよく知られた事…

タスクというわけが分からない概念がある。ひとまとまりの仕事という意味だが、それじゃ国語辞典の項目としての説明なだけで「定義」になってない。仕事に対してその仕事をする主体をエージェントと呼ぶことにする。「やること」と「やる主体」の違いしかな…