LINUX.ORG.RU

Awodey. Category Theory. вопрос по доказательству o UMP в начале книги

 , ,


0

1

учебник стр. 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̄ ?

★★★★★

Последнее исправление: AndreyKl (всего исправлений: 1)

о с чего мы решили что это h и есть ī ◦ j̄ ?

Нет, h – это \bar i (или \bar j).

.С чего это композиция имеет такое свойство?

Подставьте j=|\bar j|i в |\bar i|j=i.

i586 ★★★★★
()
Ответ на: комментарий от i586

спасибо, заблудился в трёх соснах...

AndreyKl ★★★★★
() автор топика
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.