Тизер к серии о теории категорий.
Вставка
- Опубліковано 28 кві 2024
- Про что и на основе чего.
тг:
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)
даа даа давай давай урааааа
Звучит интересно. Мне, как студенту первого курса, раньше казалось, что фундаментальные теории множеств ничего быть не может. Это интересно
Городенцев краш❤
Супер, ждем продолжение!!
Проубессмысленная математическая супераюстракция для интеллектуального удовольствия? Чёрт возьми, да это круче, чем бледные руки в средние века! Звучит чертовски охрененно! Автору респект, очень жду)
Жги
потрясающе! очень ждем!
Будем горячо ждать! Не подведём в плане фидбека.
Ого, спасибо ютубу за реки твоего канала)
P.s. Про функан планируете плейлистик?)
Ещё не планировал. Если про операторы и кванты что-то надумаю, то расскажу.
Очень интересно, буду с нетерпением ждать
Брался около года назад за Голдблата, но забросил из-за подготовки к экзаменам. Скоро сдам, можно будет и чем-то новым пополнить свой опыт.
У меня культурный шок... Почему теория множеств - полумёртвая?!
То, что она полумёртвая это не плохо. Это значит, что всё уже о ней сказано, найдены все слабые и сильные стороны. Как земля под ногами - ресурс - только использовать в дело. Теперь нужно двигаться дальше, а не молиться на один единственный поход. Задаться вопросом - так ли очевидны наши интуиции.
@@molotov_ilya ну ок, это имеет смысл
Оо имба
Хотеть!
Расскажите наконец про Монады. Их никто из программистов не понимает.
Смотрели Дениса Москвина? Вместо функций a -> b используем стрелки Клейсли a -> m b для побочных эффектов.
Хотелось бы примеры на Haskell. Не только Monad (M. transformers, Free monads), Functor (Applicative, Alternative, бифункторы), но и семейства Arrows (собственно, теория категорий).
Я читал The Joy of Abstraction топ книга про теорию категорий для простых смертных.
Подписался на канал ради новых видео, не подведи пж
Обязательно подведу, можно не сомневаться
А знания в теории множеств в категориях пригодятся? Сам недавно начал изучать канторовскую теорию множеств в изложении Архангельского, пригодится её заканчивать или теория категорий как-то принципиально по-другому строится?
Теория множеств хорошая база. Обычно категории начинаю рассматривать с конструкции множеств. Думаю, что пойду схожим путём. Как минимум множества интуитивны и помогают не сойти с ума от абстрактности. Предполагаю, что вы уже владеете достаточными знаниями на уровне первого курса. Какой-то сверх формализации не требуется.
"так же бесполезно, как и изучение английского"
несколько ранее: "эта книжка есть только на английском языке"
Рекурсия познания получается
@@molotov_ilya круговорот бесполезного знания в природе... Учим бесполезный английский, чтобы потом учить бесполезную теорию категорий, чтобы потом...
чтобы потом ещё что-то интересное поделать, а после смерть. Может что-то оставим потомкам в наследие. Они тоже чем-то займут себя и умрут в итоге.
@@molotov_ilya круто, жду видос про экзистенциальную философию
@MainEditor0 если смерть не настигнет меня раньше)