プロ関手〈profunctor〉は、分布子〈distributor〉、双加群〈bimodule〉とも呼びます。関数〈function〉の一般化が distribution〈シュワルツ超関数〉だから、関手〈functor〉の一般化は distributor だろう、ということらしいです。"distribution" は意訳さ…