учебник стр. 22, Proposition 1.10
Composing gives a homomorphism ī ◦ j̄ : M → M such that |ī ◦ j̄|i = i.
С чего это композиция имеет такое свойство? не пойму откуда следует.
То что композиция гомоморфизмов - гомоморфизм, вроде ясно. То что должен существовать такой гомоморфизм h что |h|i = i следует из определения UMP (1.9), если i и f взять равными i. Но с чего мы решили что это h и есть ī ◦ j̄ ?
