http://www.math.jhu.edu/~eriehl/weighted.pdf
A, BをV-catとした時、V-cat B^opおよびA \otimes Bを
- 対象はB_0で射はB^op(b,b')=B(b',b)
- 対象は直積A_0 \times B_0で、射はA \otimes B((a,b),(a',b')=A(a,a') \otimes B(b,b')
で定めることができる。
A-B-bimodule(またはprofunctor、またはdistributer)とはV-functor J:A \otimes B^op \to Vのことをいう。
例えばA, Bが対象が1点からなるAb-catのとき、A \otimes BはZ上のテンソル積でこの県からのAb-functorはA \otimes B-moduleを定める。
この場合にbimoduleのテンソル積を定めることができるのと同様に、V-functorとしてのbimoduleにも\otimesを定義できる。