実際これは2-圏であり、自然な方法で "r"-"s" 両側加群 "m" と "n" の間の射はちょうど両側加群の準同型、すなわち、関数