全準同型A->B, A->Cがあって
全準同型C→Bがあるとしたら
それは唯一に定まりますか？
もちろんA->C=（C->B）?（A->C）という条件においてですよ。