Polarized Categories
次の検索でなんかひっかかってきた。
ウーム、ムムムム。圏論的moduleってのはイッパイ呼び名があったけど、忘れた。moduleだと検索に不便だしなー。（調べた：profunctor, bimodule, distributor）
偏極圏てのはゲーム圏に関係するのか、線形論理にも関係する、と。制御圏（cotrol categories）とか応答圏（response categories）てのもあるわけ？ほえー。
google:category module bifunctorでまたいろいろ引っかかる。
