X Y Z가 category 의 object들이고 C가 X Y의 coprduct면

Mor(X,Z)×Mor(Y,Z) = Mor(C,Z)
맞냐