hom(A,B) = Φ、hom(A,C) = Φでhom(B,C) = {f} の場合がわからない。
要は対象として空集合が絡んでくるとき。
上の場合は、hom(A,f) : hom(A,B) -> hom(A,C)は空集合から空集合への射で
空集合はSetsの始対象なので、どのようなhom(B,C)の要素でも空集合の恒等射になる、だな。