定めなければ無いといった程度のことじゃないのか。
　　 f∈Hom(A,B) , g∈Hom(B,C) に対して、
　　 g･f∈Hom(A,C) を定めてやればよい、ということじゃないのか。