distributor

The Handbookでは、プロ関手（profunctor; http://en.wikipedia.org/wiki/Profunctor）をdistributorと呼んでいる。プロ関手をbimoduleとかmoduleとか呼ぶこともあるそうだが、それはひどすぎるだろう。bimoduleは双加群＝両側加群の意味で使うべきかと思う→http://en.wikipedia.org/wiki/Bimodule

ところで僕は、associator, unitorと一緒に半環圏（semiringal category）の分配律の法則を与える同型をdistributorと呼びたい。associator, unitor, distributorは、結合性同型、単位性同型、分配性同型かな。