http://www.math.jhu.edu/~eriehl/weighted.pdf 対象が2点x, yのAb-enriced category CからのAb-functor M:C^op \to AbとN:C \to Abに対して、そのtensor product M \otimes_C Nを定義する。 これはAbにおけるcoequalizerとして定義するので、これ自体がAbel…