Шо?
"Эндоморфизм"
Ага, спасибо. Значит я правильно понял начало книги про категории. А можно ли считать эндоморфизм частным случаем моноида?
В некотором смысле. Не так, как сказано, но мысли в правильном направлении. Множество эндоморфизмов образует моноид относительно их композиции. Любое его подмножество порождает какой-то моноид.
Я вот эту книгу имел в виду
Спасибо большое! Попытаюсь переварить :)
https://t.me/ru_catheory тут есть специфический чатик конкретно по этой теме
Спасибо, уже вступил. Тема для меня относительно новая и с непривычки непростая. Я всё же больше программист, чем математик. Но мне понравилось начало книги про категории для программистов. Он как будто мои мысли прочитал, точнее, я его ;) когда пытался своим школьникам объяснить, зачем это всё надо программистам.
Обсуждают сегодня