Cがモノイド圏でDが圏のとき、二項関手（双関手） H:C×D→D が結合律と単位律を満たすならば、(D, H)をC上の加群圏（module category）と呼びます。（加群の圏（category of modules）とは違いますから注意。）モノイド圏C上の加群圏(D, H)と、モノイド関手 Φ…