5.1.6 用范畴论推导融合律