NI
Книжка не то, чтоб хорошая...
Но что там действительно хорошо, это что он расжёвывает очень так.
Но что там действительно хорошо, это что он расжёвывает очень так.
Size: a a a
2018 March 16
к
protomorphism это какой-то очень редкий термин
MN
Да! Для тупых, типо меня - очень ок книжка
Oℕ
Скорее всего, после будет вводиться ассоциативность и вот стрелки с ассоциативностью, это уже морфизмы ;-)
__Подчёркиваю, единственное отличие от определения 1.1 в том, что
по протоморфизму его начало и конец не обязаны определяться одно-
значно.__
по протоморфизму его начало и конец не обязаны определяться одно-
значно.__
NI
Уже не помню, для чего он так делает...
Oℕ
Слово ”протоморфизм“и определение 2.1 взяты из книги Freyd, Scedrov” Categories, Allegories“.
VY
понял, спасибо!
Oℕ
Возможно, чтобы можно было использовть одну букву, обозначающую семейство стрелок
Oℕ
понял, спасибо!
??? Я просто копипастил строчки из той же книжки
VY
ага, я недолистал до след страницы) да, сорри, там все написано
Oℕ
Я так догадываюсь, это ответ от автора https://category-theory.livejournal.com/16503.html?thread=217463#t217463
2018 March 17
NI
Кто бы мне придумал аналог претопоса (до топоса далековато) для моноидальщины...
И теорию всю разработал за меня ;-)
И теорию всю разработал за меня ;-)
DM
похоже да
2018 March 18
VY
не могу понять с виду простую теорему
VY
почему композиция должна быть единственной стрелкой? из чего это следует? (все та же книга)
Oℕ
почему композиция должна быть единственной стрелкой? из чего это следует? (все та же книга)
Потому что в A2 есть только одна стрелка и з каждого объекта