ガーン！ distributor

associator, unitorはけっこういい用語法だと思っていた。これに合わせると、分配法則を記述する構造同型射（structure isomorphism）をdistributorと呼べばいいのだ、ぬあんと、プロ関手（副関手、profunctor）を、distributorとも呼ぶのであった。

そもそも、オーストラリアの人はプロ関手を加群（module）とか双加群（bimodule）とか呼ぶし、、、ムーッ。