Let ( R , S ) 𝑅 𝑆 (R,S) be a pair of Semirings. The category Bimod ( R , S ) Bimod 𝑅 𝑆 \mathrm{Bimod}(R,S)