Как понять лемму Йонеды

Изучая сложную тему, легко увязнуть в деталях и не увидеть лес за деревьями. Лемма Йонеды из теории категорий — идеальный пример. Но её изучение можно превратить из зубрёжки в увлекательное путешествие, если следовать структуре таксономии Блума.

А если хотите настоящей эффективности, сразу начинайте с пятого уровня и спускайтесь к первому!

Вот как может выглядеть освоение на каждом уровне:

Уровень 1: запоминание

Выучите формулу Nat(Hom(-, X), F) ≅ F(X) и значение всех используемых в ней символов

Запомните, что правило X→Hom(X,-) задает вложение C^op→Set^C в категорию предпучков

Уровень 2: понимание

• Объясните своими словами. Например:

Лемма (вложение) Йонеды утверждает, что объект любой категории полностью определяется информацией о том, как в него отображаются все остальные объекты

Формула гласит, что имеется биекция между значением заданного функтора и естественными преобразованиями из представимого функтора в заданный

• Проложите мосты, придумайте аналогии, подберите метафоры:

Скажи мне, кто твой друг, и я скажу, кто ты

Уровень 3: применение

Выведите из леммы теорему Кэли в теории групп

Выведите из леммы свойство вложения

Докажите лемму Йонеды

Уровень 4: анализ

Проанализируйте, какую роль играет условие естественности преобразования

Сравните ковариантную и контравариантную версии

Сравните лемму Йонеды с концепцией универсальных свойств

Уровень 5: оценка

На какой исследовательский вопрос отвечает лемма Йонеды?

Как в примере симплициальной категории (объекты: конечные ординалы; морфизмы: монотонные функции) утверждение леммы начинает играть новыми красками (вложение в категорию симплициальных множеств) и становится очевидным?

Является ли лемма Йонеды тривиальной, если её доказательство состоит всего из нескольких строк?

Насколько убедительно утверждение, что в математике объект определяется своими взаимоотношениями с другими объектами? Оцените философскую значимость леммы Йонеды

Проанализируйте роль и использование леммы Йонеды в контексте теории топосов

Уровень 6: синтез

Разработайте новый пример категории и функтора из этой категории в Set, который был бы непредставимым. Используя лемму Йонеды, постройте естественное преобразование из представимого функтора в ваш непредставимый функтор и опишите, какую информацию о структуре вашей категории это преобразование выявляет

Подумайте, можно ли в лемме Йонеды заменить категорию Set на другие обогащённые категории. Какие новые трудности возникают в этом случае?

Как может выглядеть версия леммы Йонеды для ∞-категорий?

Представьте, что вы разрабатываете курс по теории категории для начинающих математиков. Составьте образовательную траекторию, где кульминацией будет собственное открытие леммы Йонеды студентами

Придумайте способ визуализации леммы Йонеды (например, через диаграммы или геометрические образы)

Лемма Йонеды описывает морфизмы из представимого функтора. Исследуйте двойственное гипотетическое утверждение («лемму ко-Йонеды») о том, как морфизмы из объекта в объект сводятся к морфизмам из представимого функтора

Как бы вы стали объяснять лемму Йонеды? Делитесь в комментариях!

Введение в теорию категорий для самых маленьких

Теория категорий начинается с наблюдения, что многие свойства математических систем можно представить просто и единообразно посредством диаграмм, состоящих из стрелок. С их помощью можно «спрятать» кванторы и ненужные математические символы. Это более естественно: каждое математическое утверждение должно в первую очередь нести в себе некоторую идею

Когда вы изучаете теорию категорий, у вас в голове растут новые нейроны

В теории категорий, доказав одну теорему, вторую вы получаете в подарок. Определив одну конструкцию, вторую вы получаете в подарок

С точностью до эквивалентности, каждая категория — это структура, состоящая из своего скелета и некоторого «лишнего мяса»

Сейчас мы начнём подниматься на несколько уровней абстракции вверх. Раньше мы работали с конструкциями нулевого уровня, а именно, с математическими структурами и операциями в них. Затем мы определили конструкции первого уровня, а именно, объекты категорий и морфизмы между ними. Теперь же мы мысленно образуем новую категорию второго уровня, объектами которой будут являться категории. Чтобы придать этому понятию смысл, нужно дать определение функтора.

Категорная философия состоит в том, что, определяя математическую структуру, мы тут же должны сказать, что мы называем морфизмами между двумя такими структурами. Таким образом, после определения категории нам сразу же требуется ввести понятие морфизма категорий. Такой морфизм называется функтором. Функторы были впервые определены в алгебраической топологии, где они использовались как удобный инструмент для классификации топологических пространств.

Тот факт, что забывающий функтор Ab→Grp является полным вложением, показывает, что коммутативность группы — это свойство, а не дополнительная структура

Задать функтор из группы в Set — это то же самое, что и задать действие группы на множестве

Лемма Йонеды гласит: «Скажи мне, кто твой друг, и я скажу, кто ты»

Каждое естественное преобразование в каком-то смысле осуществляет категорную «деформацию», непрерывное преобразование

Содержание заметок:

• Мотивирующие конструкции
• Основные понятия и примеры
• Конкретные категории
• Изоморфизмы
• Скелет
• Универсальные объекты
• Категорные аналогии: отношения предпорядка, множества и моноиды
• Принцип двойственности
• Функторы и категория категорий
• Забывающие функторы
• Функторы конкретных категорий
• Функторные аналогии: монотонные функции, гомоморфизмы моноидов и группа преобразований
• Главный функтор Hom
• Естественные преобразования
• Категория функторов
• Естественность двойственности в линейной алгебре
• Свободные объекты
• Представимые функторы
• Лемма и вложение Йонеды, теорема Кэли

Бонус: внутри 94 примера и 68 упражнений разной сложности

Я редко пишу в этот канал в последнее время, потому что ежедневные наблюдения и находки окончательно переселились в @truly_part, а содержательные откровения на разные темы ещё дозревают. Но этой весной будет много материала для ultima ratio — со следующей недели я начинаю читать курс по теории категорий.

Цель курса — дать объемное, наполненное примерами, интуицией и связями с разными областями математики, введение в ключевые идеи. Такого, по-видимому, до сих пор нет в литературе. (Постаревшая книга Маклейна, похоже, часто пугает неопытного читателя и рискует сформировать у него ошибочное неприятное представление об этом прекрасном фундаментальном языке, пронизывающем многие разделы современной математики. Книжка Эмили Риел же в этом плане хороша как введение, но там только азбука). Курс также заполняет все пререквезиты к курсам высшей теории категорий и бесконечномерной гладкой геометрии, которые я планирую прочитать на летнем лектории в этом году.

Темы курса — после глубокого обсуждения основ языка (свойств категорий, функторов, пределов, эпи-моно систем факторизаций, сопряжений, монад, 2-категорий и т.п.), мы перейдем к богатым теориям, вращающимся вокруг классов живых категорий и систематически изучающих соответствующие части математической реальности.

Начнем с главной из них — теории локально представимых категорий (= категорий математических структур), а затем перейдем к её веткам: алгебраическим категориям и топосам.

Среди прочего, здесь будет про двойственность Габриэля-Улмера между синтаксисом и семантикой, про топосы как сеттинг для геометрии (в частности, топосы гладких пространств, являющиеся моделями синтетической дифференциальной геометрии), про внутренний язык категорий, про естественные свойства и структуры возникающие у определенных типов математических объектов (регулярные, точные, когерентные, экстенсивные, моноидальные, декартово-замкнутые..) и крутые связанные с ними импликации. Отдельное внимание будет уделено теории замкнутых моноидальных категорий, концептам возникающим в них и, конечно, (как и всюду в этом курсе) воплощениям этих узоров в живой математике (теория вероятности через марковские категории, квантовая информация через кинжальные категории).

Затем, иллюстрируя развитый язык и технику, мы обсудим ряд важных и/или красивых сюжетов из классических и современных работ (например, инициальные алгебры, фрактальные объекты в категориях, монады коплотности и двойственность Исбела и др.).

На протяжении курса, все не вошедшее в него, я буду параллельно рассказывать здесь. Будут листочки с упражнениями и задачами, которые я могу принимать у желающих.

Интерактивные лекции предварительно планируются в 17:00 - 20:00 по средам в НМУ, трансляция в телемосте (ссылка в чате курса), записи на Higher geometry. Можете написать мне (куда угодно), чтобы добавиться на форум HG с чатом курса. Если вы хотите участвовать, но не можете в это время — напишите тоже, если многим окажется неудобно, то рассмотрим вместе другое время.

На первой лекции мы кратко зафиксировали тезисы, раскрытые выше, после чего говорили про

1) Универсумы и полиморфизм по универсумам
2) Четыре свойства функторов (инъективность и сюръективность | на объектах и на Hom-ах) и их сочетания как формализация понятий "свойство" и "структура"
3) Карту категорий и функторов, захватывающую основные понятия университетской математики
3*) Как бы могла выглядеть категорная карта математики?
4) Понятие алгебраической теории и соотв. алгебраических категорий
5) Первую интуицию естественного преобразования
6) Определение предела/копредела

По некоторым пунктам я хочу дать комментарии, но сейчас я устал писать и продолжу потом.

Удивительная запись прилагается

Можно ли пропускать доказательства?

Знакомо ли вам это чувство? Вы читаете захватывающее введение в новую теорию, подбираетесь к сути красивой теоремы, и... на вашем пути вырастает стена из лемм, технических определений и многостраничных, запутанных доказательств. Рука сама тянется перелистнуть эти страницы. А потом накатывает чувство вины за пропуск технических деталей. Даёт о себе знать суровое убеждение:

Настоящий математик должен продираться через каждое доказательство, страница за страницей. Иначе это несерьёзно

Но так ли это? С этим мифом спорят многие крупные математики. В своём эссе «О доказательствах и прогрессе в математике» Уильям Тёрстон как раз возражает против такого подхода. Он приводит цитату из работы Джаффа и Куинн:

«Мы, математики, должны доказывать теоремы, отделяя зерна от плевел, правду от вымысла»

Тёрстон считает, что это неполная и даже искажённая картина. Он предлагает сместить акцент. Главный вопрос для математика, по его мнению, звучит так:

Как мы углубляем человеческое понимание математики?

Это отличная точка зрения для тех, кто тянется к знанию! Ведь наше обучение — это путешествие, целью которого является именно понимание, а не просто коллекционирование доказательств.

Когнитивистика и науки об обучении подтверждают:

Пропускать отдельные доказательства при первом знакомстве с теорией не только допустимо, но иногда и необходимо.

Почему?

1. Это помогает удержать фокус на сути. Изначальное понимание общей идеи и интуиции создает «когнитивный каркас», на который потом можно навешивать детали. Без этого каркаса детали превращаются в бессмысленный набор символов

2. Это предотвращает когнитивную перегрузку. Мозг не может усвоить всё и сразу. Пытаясь с первого раза понять каждую техническую лемму, вы рискуете «утонуть» и потерять суть

Как метко заметил Николай Вавилов, «общая когерентность математической картины мира куда важнее доказательств»

Так когда же можно пропустить доказательство?

Можно, если:

• вы уже поняли формулировку теоремы и ее идею
• доказательство выглядит чисто техническим и громоздким
• вы только знакомитесь с темой и хотите увидеть архитектуру

Не стоит пропускать, если:

• доказательство служит источником важной идеи или метода
• вы готовитесь к экзамену, где его нужно будет воспроизвести
• вы не до конца понимаете, что именно доказывает теорема

Важно помнить: пропуск — это не удаление из памяти навсегда, а тактическая пауза. Используйте итеративную стратегию и возвращайтесь к доказательствам позже, когда картина уже сложится в голове.

Тёрстон подчеркивает: нам нужно больше усилий направлять на передачу идей. Ваша задача — не просто выучить эти идеи, а сделать их частью своего математического мышления. И часто эффективнее воспринять их через широкие каналы коммуникации: рисунки, аналогии, диалоги с одногруппниками.

Вывод: пропускать доказательства — не только нестрашно, но иногда и необходимо. Это тактический ход, позволяющий не утонуть в деталях и увидеть общую архитектуру теории

Доказательство — это мост к пониманию, но иногда можно сначала увидеть цель на другом берегу, а уже потом разбираться, как по этому мосту пройти

Конструируйте собственные когнитивные инструменты

Математика — это наименьший такой предмет, что:

• Математика включает натуральные числа, планиметрию и стереометрию
• Математика — это то, что изучают математики
• Математики — это те люди, которые углубляют человеческое понимание математики

Другими словами, по мере развития математики мы включаем её в наше мышление. По мере того как наше мышление становится более сложным, мы порождаем новые математические концепции и новые математические структуры: предмет математики меняется, отражая то, как мы мыслим.

Если то, что мы делаем, — это конструирование лучших способов мышления, то психологические и социальные аспекты просто необходимы для хорошей модели математического прогресса. Эти измерения отсутствуют в популярных моделях. В карикатурном виде популярная модель математического прогресса утверждает, что:

Definition. Математики исходят из нескольких базовых математических структур и набора аксиом, «данных» относительно этих структур.

Theorem. Существуют различные важные вопросы об этих структурах, на которые нужно ответить и которые можно сформулировать как формальные математические предложения.

Proof. Задача математика — найти дедуктивный путь от аксиом к предложениям или к их отрицаниям.

Мы могли бы назвать это моделью математики «определение-теорема-доказательство» (DTP). Очевидная её слабость в том, что она не объясняет источник возникновения вопросов.

Мы не пытаемся выполнить некий абстрактный план по производству определений, теорем и доказательств.

Мера нашего успеха в том, позволяют ли наши действия людям понимать и мыслить о математике яснее и эффективнее. Для нас много более важным является вопрос «как мы понимаем математику»

———

Чтобы учиться математике эффективнее, смотрите на свою деятельность как на конструирование новых когнитивных инструментов

Каждый новый объект, метод или доказательство ценны ровно настолько, насколько они делают ваше мышление:

• более ясным (вы видите суть без лишнего шума)
• более гибким (можете применять идеи в разных задачах)
• более продуктивным (рождаются новые вопросы и ходы мысли)

Вместо заучивания доказательств задайтесь вопросом: «какую новую перспективу на математику это мне дало?»

Когда продумываете пример или схему рассуждений: «помогает ли это мне и другим мыслить лучше?»

Оценивайте успех занятий не числом совершенных открытий, а тем, насколько они изменили ваше мышление и понимание

Don't just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case? What about the degenerate cases? Where does the proof use the hypothesis?

Не просто читайте — спорьте с этим! Задавайте свои вопросы, ищите собственные примеры, открывайте свои доказательства. Необходима ли гипотеза? Верно ли обратное утверждение? Что происходит в частном случае? А в вырожденных случаях? Где именно в доказательстве используется гипотеза?


П. Халмош ("Я хочу быть математиком")

Как меняется работа математиков с приходом ИИ

Терренс Тао уверен: впереди нас ждут кардинальные перемены.

В интервью он высказал мнение, что ИИ не заменит учёных, но станет для них мощным «вторым пилотом», который изменит сам способ производства математического знания.

Вместо ручного труда «ремесленников», где каждый математик совершает открытия одно за другим и обладает сразу всеми компетенциями, необходимыми для производства научного продукта, нас ждёт переход к «массовому производству» теорем. Это не означает конца или обесценивания математики — это означает её переход на качественно новый уровень.

Я думаю, что через три года искусственный интеллект станет полезным инструментом для математиков. Он будет отличным помощником. Вы пытаетесь доказать теорему, и есть один шаг, который, как вам кажется, верен, но вы не совсем понимаете, как его обосновать. И вы можете сказать: «ИИ, не мог бы ты сделать это для меня?» И он, возможно, ответит: «Я думаю, что могу это доказать». Я не считаю, что математика будет «решена». Если произойдет еще один крупный прорыв в области ИИ, то это возможно, но я бы сказал, что через несколько лет мы увидим значительный прогресс, и использовать ИИ на практике станет всё проще и проще.

И даже если ИИ сможет выполнять ту математику, которую делаем мы сейчас, это значит, что мы просто перейдем на более высокий уровень математики. Например, сейчас мы доказываем вещи одну за другой. Это похоже на работу мастеров-ремесленников, которые вручную создают деревянные куклы. Вы берете одну куклу, тщательно ее раскрашиваете и так далее, а затем беретесь за следующую. То, как мы занимаемся математикой, не сильно изменилось. Но во всех других дисциплинах у нас есть массовое производство. Так что с ИИ мы сможем доказывать сотни или тысячи теорем одновременно. А математики-люди будут направлять ИИ для выполнения различных задач. Так что я думаю, способ, которым мы занимаемся математикой, изменится, но их временные рамки, возможно, немного оптимистичны.

Я думаю, что появятся совершенно новые способы занятия математикой, которых сейчас просто не существует. Я могу представить себе математиков-менеджеров проектов, которые смогут организовывать очень сложные проекты — они не понимают всю математику досконально, но могут разбивать задачи на более мелкие части и делегировать их другим людям, и у них хорошие коммуникативные навыки. Затем есть специалисты, которые работают в подобластях. Есть люди, которые хорошо умеют обучать ИИ определенным типам математики, и есть те, кто может преобразовывать доказательства ИИ во что-то, удобочитаемое для человека. Это станет сильно больше похоже на то, как работает практически любая другая современная отрасль. Как, например, в журналистике: не у всех один и тот же набор навыков. Есть редакторы, есть журналисты, есть бизнес-менеджеры и так далее — подобное в конечном итоге появится и в математике.

(источник)

Искусство задавать себе правильные вопросы

Изучение математики — это не про запоминание фактов. Это про понимание идей. Один из самых мощных приёмов, который перенесёт вас из пассивного читателя в активного мыслителя, — это задавать правильные вопросы с самого начала.

Столкнувшись с новой теоремой, сразу спросите себя:

• На какой исследовательский вопрос отвечает эта теорема?
• Какую проблему она закрывает?
• Какую дверь в неизведанное она, наоборот, открывает?

Задавая себе подобные вопросы, вы прекращаете принимать теорему как данность и начинаете оценивать её место в общей картине науки. Таким образом вы сразу переходите на пятый уровень мышления в таксономии Блума.

Вы пытаетесь понять:

• Какие концепции в теореме являются ключевыми, а какие второстепенными?
• Что было до неё? Какой пробел она заполнила?
• Почему она была революционной тогда и полезна сейчас?
• Что побудило автора теоремы заниматься ей?

Пример:

Изучая теорему Гёделя о неполноте, спросите себя: «Какой фундаментальный вопрос о пределах познания волновал математическое сообщество во времена Гильберта? И как ответ Гёделя перевернул эти представления?»

Так вы не просто выучите теорему, а поймёте её исторический контекст и философскую глубину.

Итак, ваш алгоритм действий: #чтение

1. Пропустите уровень зубрёжки
2. Сразу спросите: «На какой главный вопрос это отвечает?»
3. Ищите контекст: история создания, биография автора, предшествующие работы. Это не лишнее, а ключевое!
4. Реконструируйте ход мыслей: попробуйте гипотетически восстановить тот путь, который мог бы привести к этому открытию

Так вы начнёте видеть математику не как набор разрозненных фактов, а как живую, развивающуюся науку, где каждая идея — это ответ на большой вызов. Это не только глубже погружает в предмет, но и делает его изучение по-настоящему увлекательным.

Попробуйте этот метод на следующей же теореме, которую встретите, и поделитесь своими открытиями в комментариях!

Руководство для исследователя: чему учит опыт PhD

• Упражняйтесь во внешнем цикле
• Развивайте вкус
• Заготовьте плодородную почву
• Соответствуйте интересам и сильным сторонам вашего руководителя
• Будьте амбициозны: сублинейный рост сложности
• Амбициозность не без подхода к задаче
• Человек, который сделал X
• Негативные примеры
• Ценные навыки
• Пример: моя диссертация
• Не играйте по правилам

(источник)

Счастливая карьера в математике

00:00 Как Рави стал алгебраическим геометром
03:56 В чём важность школьных учителей
06:37 Как поставить себе задачу для исследования
12:16 Как написать письмо любимому профессору
18:32 О страсти к математике и том, как правильно испугаться
25:01 Как выстроить вокруг себя сообщество
28:54 Математика в СССР: сказка или антисемитизм
31:33 Что важнее: целостная картина или детали
39:15 Как изучать математику, отталкиваясь от задач
41:05 Как разные профессии и навыки высвобождают пар
48:20 Кому стоит присмотреться к прикладной математике
52:35 Как слушать математические доклады
59:18 Три совета начинающим математикам

(источник + перевод) @geomtop24

Чем интересны математические исследования

0:00 В чём истинный смысл работы математика
0:53 Как найти задачу для исследования
4:46 Как начать работу над проектом/задачей
7:10 Что делать, если я застрял: приёмы и методы
9:49 В чём польза возврата к старому материалу

(источник + перевод) @geomtop24

Мифы и рабочие методы эффективного обучения

00:00 Стили обучения и теория VARK: визуалы, кинестетики и тп
03:07 Экспериментальная проверка теории
07:52 Важность персонализированного обучения
11:02 Как использовать мультимодальный подход
12:00 Как сделать своё обучение активным

Когда речь заходит про обучение, в какой-то момент обязательно вспоминают теорию о стилях обучения: некоторым удобнее воспринимать информацию на слух, кто-то лучше запоминает визуальные образы, а кому-то обязательно попробовать сделать всё самостоятельно. В новом видео Дерек расскажет, откуда взялась эта идея и есть ли ей научное подтверждение.

(источник)

Мой глупый вопрос

Саган отмечает, что «есть наивные вопросы, скучные вопросы, неверно сформулированные вопросы, вопросы, заданные после неадекватной самокритики. Но каждый вопрос — это призыв понять мир. Не существует такого понятия, как глупый вопрос», т. е. любой вопрос — это не свидетельство отсутствия ума (глупость), а лишь незнание и желание устранить это незнание. Однако часто мы слышим фразу, ставшую, по сути, идиомой: «Не задавай глупых вопросов». Так есть или нет понятие «глупый вопрос»? Можно ли охарактеризовать его признаки? Какую функцию он выполняет в процессе коммуникации? (источник)

Вопрос — грусть или радость? Ответ — обретение или утрата?

Где искать научного руководителя

Выбор правильного научного руководителя имеет решающее значение для успеха начинающих математиков, однако многие из них даже не догадываются о том, что существенная часть потенциальных руководителей скрыта от глаз студентов. Прибиться к случайной группе, решающей упражнения из стандартного учебника под руководством лектора с вашего потока, — это далеко не единственный рабочий вариант! #выборнаучногоруководителя

Вот несколько эффективных подходов, которые помогут вам составить список потенциальных научных руководителей, соответствующих вашим научным интересам.

Научное руководство — это, в первую очередь, традиция передачи знаний и опыта от сложившихся ученых начинающим. По существу, научным руководителем может быть любой достаточно компетентный и готовый к этому математик. Вот где их взять:

• Посещайте научные семинары
• Изучайте недавние научные результаты
• Посещайте научные школы и конференции
• Прислушивайтесь к старшим товарищам
• Посещайте математические форумы

(источник)

Посещайте научные семинары

Существенная часть ученых-математиков, не обременённых преподавательской нагрузкой, регулярно посещает научные семинары, относящиеся к их исследовательской деятельности. Активное участие в таких семинарах — это не только возможность познакомиться с множеством различных областей современной математики и построить ментальную карту того, что люди изучают в настоящее время, но и воочию увидеть выступления действующих ученых. Это отличный шанс присмотреться к потенциальным руководителям, позволяющий естественным образом влиться в научную среду, расширить свой круг общения, сформировать научные интересы и цели и, в конце концов, стать принятым математиком