ich hätte einen Vorschlag für \( ii) \to iii) \):
Seien \( g: Y \to X \) mit \( (f \circ g) = id_Y \) sowie \( h_1,h_2:Y \to Z \) mit \( h_1 \circ f = h_2 \circ f \) gegeben. Wir wollen zeigen, dass dann \( h_1 = h_2 (*)\) gilt.
\( h_1 = h_1 \circ id_Y \)
\(\stackrel{ii)}{=} h_1 \circ (f \circ g) \)
\(= (h_1 \circ f) \circ g \)
\(\stackrel{(*)}{=} (h_2 \circ f) \circ g \)
\(= h_2 \circ (f \circ g) \)
\(\stackrel{ii)}{=} h_2 \circ id_Y \) \(= h_2. \)
Über die anderen Richtungen muss ich nochmal nachdenken.
Lg