환이 0-cell, R,S-bimodule이 R에서 S로 가는 1-cell, bimodule homomorphism이 2-cell.

bimodule 간의 텐서곱이 1-cell 간의 합성