对角模范畴中相容性关系的确定
대각모범주중상용성관계적학정
Compatibility relations in dimodule categories