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') で定めることができる。 …