Тизер к серии о теории категорий.
Про что и на основе чего.
тг:
t.me/molotov_ilya_tg
книги: (можно найти в libgen или flibusta)
1. Conceptual Mathematics. А first introduction to categories
1.2. Sets for mathematics
2. Голдблатт Р. Топосы. Категорный анализ логики. - 1983.
3. Введение в теорию категорий - NoName
4. С.МакКлейн - Категории для работающего математика
5. теория категорий - Гордиенко A.C. - мехмат МГУ.
6. А. Л. Городенцев - введение в теорию категорий и гомологическую алгебру
7. The Joy of Abstraction. An Exploration of Math, Category Theory, and Life
8. Brendan Fong, David I. Spivak - An Invitation to Applied Category Theory_ Seven Sketches in Compositionality-Cambridge University Press (2019)
9. David I. Spivak - Category Theory for the Sciences-The MIT Press (2014)
10. Bob Coeke, Aleks Kissinger - Picturing Quantum processes - A diagrammatic approach-Cambridge University Press (2017)
Пікірлер: 31
Звучит интересно. Мне, как студенту первого курса, раньше казалось, что фундаментальные теории множеств ничего быть не может. Это интересно
даа даа давай давай урааааа
Городенцев краш❤
Проубессмысленная математическая супераюстракция для интеллектуального удовольствия? Чёрт возьми, да это круче, чем бледные руки в средние века! Звучит чертовски охрененно! Автору респект, очень жду)
Супер, ждем продолжение!!
Жги
потрясающе! очень ждем!
Будем горячо ждать! Не подведём в плане фидбека.
Ого, спасибо ютубу за реки твоего канала) P.s. Про функан планируете плейлистик?)
@molotov_ilya
13 күн бұрын
Ещё не планировал. Если про операторы и кванты что-то надумаю, то расскажу.
Брался около года назад за Голдблата, но забросил из-за подготовки к экзаменам. Скоро сдам, можно будет и чем-то новым пополнить свой опыт.
Очень интересно, буду с нетерпением ждать
У меня культурный шок... Почему теория множеств - полумёртвая?!
@molotov_ilya
11 күн бұрын
То, что она полумёртвая это не плохо. Это значит, что всё уже о ней сказано, найдены все слабые и сильные стороны. Как земля под ногами - ресурс - только использовать в дело. Теперь нужно двигаться дальше, а не молиться на один единственный поход. Задаться вопросом - так ли очевидны наши интуиции.
@MainEditor0
11 күн бұрын
@@molotov_ilya ну ок, это имеет смысл
Хотелось бы примеры на Haskell. Не только Monad (M. transformers, Free monads), Functor (Applicative, Alternative, бифункторы), но и семейства Arrows (собственно, теория категорий).
Хотеть!
Расскажите наконец про Монады. Их никто из программистов не понимает.
@alexanderskusnov5119
15 күн бұрын
Смотрели Дениса Москвина? Вместо функций a -> b используем стрелки Клейсли a -> m b для побочных эффектов.
Оо имба
А знания в теории множеств в категориях пригодятся? Сам недавно начал изучать канторовскую теорию множеств в изложении Архангельского, пригодится её заканчивать или теория категорий как-то принципиально по-другому строится?
@molotov_ilya
15 күн бұрын
Теория множеств хорошая база. Обычно категории начинаю рассматривать с конструкции множеств. Думаю, что пойду схожим путём. Как минимум множества интуитивны и помогают не сойти с ума от абстрактности. Предполагаю, что вы уже владеете достаточными знаниями на уровне первого курса. Какой-то сверх формализации не требуется.
Я читал The Joy of Abstraction топ книга про теорию категорий для простых смертных.
Подписался на канал ради новых видео, не подведи пж
@molotov_ilya
15 күн бұрын
Обязательно подведу, можно не сомневаться
"так же бесполезно, как и изучение английского" несколько ранее: "эта книжка есть только на английском языке"
@molotov_ilya
15 күн бұрын
Рекурсия познания получается
@MainEditor0
11 күн бұрын
@@molotov_ilya круговорот бесполезного знания в природе... Учим бесполезный английский, чтобы потом учить бесполезную теорию категорий, чтобы потом...
@molotov_ilya
11 күн бұрын
чтобы потом ещё что-то интересное поделать, а после смерть. Может что-то оставим потомкам в наследие. Они тоже чем-то займут себя и умрут в итоге.
@MainEditor0
11 күн бұрын
@@molotov_ilya круто, жду видос про экзистенциальную философию
@molotov_ilya
11 күн бұрын
@MainEditor0 если смерть не настигнет меня раньше)