http://www.math.jhu.edu/~eriehl/weighted.pdf 昨日の設定の続きでR-modのHomと\otimesを定義する。 改めてobが1点のAb-enriched categoryをRと書き、環R(*, *)のこともRと書く。R自身はAbのobjectである。 Ab-functor M:R \to AbはM(*)=Mに左R-modの構造を…