一般のアーベル圏において、無限個の対象Ai(i∈Iで、Iは無限集合)
の直和Sと直積Tが存在するとき、SからTへの単射って必ず存在するの
でしょうか？存在するなら証明の概略でも教えていただけないでしょうか。
存在するとは限らないときは、何か反例を教えていただけないでしょうか。