もう一つbicategoryの例としてalgebraとbimoduleのなすbicategoryを見る。 Rを可換環としA, BをR-algebraとする。 これに対しA-B-bimoduleとは、A^op \otimes_R B-algebraのこと。 次はbicategoryをなす。 - 0-cellとしてR-algebra - 0-cell x, yに対して1-c…