Что-то я не пойму, неужели я сюда не выкладывала свои любимые учебные материалы по теории категорий? 🤔 Если так, то давно пора это сделать.
Из учебников мне на данный момент больше всего зашел "Топосы: категорный анализ логики" (см. вложение). Несмотря на то, что главная цель учебника - познакомить с теорией топосов, начинается он с основ теории множеств и теории категорий, благодаря чему 1-3 главы можно использовать как введение в эти темы. К каждой теме даются упражнения, правда, решений нет. 😔
Параллельно с учебником смотрю этот плейлист (так сказать, серию рассказиков):
https://www.youtube.com/watch?v=US4Zr1WKD-8&list=PLCTMeyjMKRkoS699U0OJ3ymr3r01sI08l&ab_channel=RichardSouthwell
Каждое видео в плейлисте посвящено подробному разбору очередной категорной конструкции. Мне очень нравится, как автор совмещает подробный рассказ про формализм конструкции с рассказом про интуицию, которая за ней стоит. Также отдельно стоит отметить атмосферу видео: они выглядят дружелюбно и непринужденно, словно бы к тебе в гости зашел друг-математик, и вы ведете беседу возле маленькой доски за чашкой чая.
По содержанию плейлист приблизительно соответствует 3й главе учебника, но несколько менее формальный и проще к восприятию.
И учебник, и лекции на ютубе позиционируются как материалы для широкой аудитории, но похоже, для того, чтобы их хорошо понимать, нужен какой-то уровень математической культуры. Наиболее понятны они, конечно, будут для тех, кто уже прослушал хорошие курсы по основным разделам математики в старших классах/ВУЗе/самостоятельно и больше не боится сложных теорем.
#учебные_материалы
Из учебников мне на данный момент больше всего зашел "Топосы: категорный анализ логики" (см. вложение). Несмотря на то, что главная цель учебника - познакомить с теорией топосов, начинается он с основ теории множеств и теории категорий, благодаря чему 1-3 главы можно использовать как введение в эти темы. К каждой теме даются упражнения, правда, решений нет. 😔
Параллельно с учебником смотрю этот плейлист (так сказать, серию рассказиков):
https://www.youtube.com/watch?v=US4Zr1WKD-8&list=PLCTMeyjMKRkoS699U0OJ3ymr3r01sI08l&ab_channel=RichardSouthwell
Каждое видео в плейлисте посвящено подробному разбору очередной категорной конструкции. Мне очень нравится, как автор совмещает подробный рассказ про формализм конструкции с рассказом про интуицию, которая за ней стоит. Также отдельно стоит отметить атмосферу видео: они выглядят дружелюбно и непринужденно, словно бы к тебе в гости зашел друг-математик, и вы ведете беседу возле маленькой доски за чашкой чая.
По содержанию плейлист приблизительно соответствует 3й главе учебника, но несколько менее формальный и проще к восприятию.
И учебник, и лекции на ютубе позиционируются как материалы для широкой аудитории, но похоже, для того, чтобы их хорошо понимать, нужен какой-то уровень математической культуры. Наиболее понятны они, конечно, будут для тех, кто уже прослушал хорошие курсы по основным разделам математики в старших классах/ВУЗе/самостоятельно и больше не боится сложных теорем.
#учебные_материалы