Gegeben sind K-Vektorräume V und W und ein f ∈ Hom(V,W). Gesucht ist ein K-Vektorraum U und ein g ∈ Hom(U,V), so dass
(1) f ◦g = 0 gilt, und so dass
(2) die folgende universelle Eigenschaft erfüllt ist:
(⋆) Ist U′ ein weiterer K-Vektorraum und g′ ∈Hom(U′,V)mit f◦g′ =0, so gibt es genau ein h∈Hom(U′,U) mit g′ =g◦h.
Brauche Hilfe :/