Илья Молотов
Илья Молотов
  • 22
  • 29 974
Изоморфизм. Как создаётся равенство? // Теория категорий 2.1
отблагодарить:
boosty.to/molotov_ilya/donate
Структура ролика:
00:00 Вступление
00:24 Эквивалентность
01:45 Классы эквивалентности
02:30 Определение
04:44 Проверка свойств. Рефлексивность.
06:09 Симметричность
07:00 Единственность обратного
08:29 Транзитивность
09:39 Биекция и сокращение
11:00 Заключение
zhlédnutí: 851

Video

Аксиомы категорий и что если их не соблюдать?// Теория категорий 1.6.
zhlédnutí 889Před 28 dny
Об определении категории и всяких изуверствах над ним. Завершение базовых аксиом. отблагодарить/поддержать: boosty.to/molotov_ilya/donate Дополнительно можешь почитать: 1. ncatlab.org/nlab/show/protocategory 2. ncatlab.org/nlab/show/precategory 3. ncatlab.org/nlab/show/semicategory 4. ncatlab.org/nlab/show/polycategory 5. ncatlab.org/nlab/show/multicategory 6. ncatlab.org/nlab/show/paracategory...
Ассоциативность. Как связать композиции? // Теория категорий 1.5.
zhlédnutí 847Před 28 dny
Равенство различных путей. Упоминал: - тождество Якоби - ассоциативность - коммутативность - систему октав - она же алгебра Кэли. - числа Каталана отблагодарить/поддержать: boosty.to/molotov_ilya/donate Дополнительные материалы: - ncatlab.org/nlab/show/associativity - Conceptual Mathematics, A first introduction to categories - 17 стр. (30 pdf) - Sets for Mathematics - cтр. 7, стр.10 - Голдблат...
Тождественный эндоморфизм. Почему что-то равно себе? // Теория категорий 1.4.
zhlédnutí 1,5KPřed měsícem
Что такое эндоморфизм и почему так важно ничего не делать. См.подсказки ниже ... Замечание к 01:44 . Вернее говорить, что "эндомофизм" - это отображение не "на", а "В" себя. Слово "на" лучше использовать для сюръекции и эпиморфизмов, а приставка "эндо" обозначает "внутрь". отблагодарить/поддержать: boosty.to/molotov_ilya/donate Дополнительные материалы: - ncatlab.org/nlab/show/endomorphism - Co...
Композиция и диаграммы. Как комбинировать преобразования? // Теория категорий 1.3.
zhlédnutí 1KPřed měsícem
Про то, как комбинировать и изображать морфизмы Замечания: 1. при взятии функции используется порядок справа налево g(f(x)) = g○f (...). Это стандартно в теоретико-множественных обозначениях. Для удобства: я применяют постфиксную запись, в порядке следования функций на диаграммах (...) f○g. Это позволяет отслеживать порядок стрелок на диаграмме слева-направо. Можете также прочесть ru.wikipedia....
Морфизмы-стрелки и домены // Теория категорий 1.2.
zhlédnutí 2KPřed měsícem
Теория категорий 1.2. Описание преобразований между объектами. Доп. материалы почитать: - ncatlab.org/nlab/show/target - ncatlab.org/nlab/show/domain отблагодарить/поддержать: boosty.to/molotov_ilya/donate В качестве практики: 1. Можно ли операцию с одним объектом представить стрелкой? Как это формально записать и не будет ли противоречия. 2. Можно ли придумать что-то для связи трёх объектов на...
Объекты категории // Теория категорий 1.1.
zhlédnutí 2,6KPřed měsícem
Что такое объекты категории Дополнительно почитать: ncatlab.org/nlab/show/object отблагодарить/поддержать: boosty.to/molotov_ilya/donate Ключевые слова: 1. теория категорий 2. объекты Структура: 00:00 Интро 01:09 Структура 01:37 Примеры 03:00 Замечания 03:52 Практика 04:43 P.S. Использованные в видео картинки: 1. icons8.com/icon/QPMtNJY6smos/love 2. icons8.com/icon/yIgs898MG4Ai/donation 3. icon...
Тизер к серии о теории категорий.
zhlédnutí 2,8KPřed měsícem
Про что и на основе чего. отблагодарить/поддержать: boosty.to/molotov_ilya/donate книги: (можно найти в libgen или flibusta) 1. Conceptual Mathematics. А first introduction to categories 1.2. Sets for mathematics 2. Голдблатт Р. Топосы. Категорный анализ логики. - 1983. 3. Введение в теорию категорий - NoName 4. С.МакКлейн - Категории для работающего математика 5. теория категорий - Гордиенко A...
Дифференциальные формы. Ковекторы.
zhlédnutí 4,3KPřed měsícem
визуализация поля N-мерных ковекторов. Материалы для ознакомления: 1. Визуализация - czcams.com/video/60z_hpEAtD8/video.htmlsi=yB08qLnm5BNFbKvb 2. Лекция - czcams.com/video/paEKgbiCyPk/video.htmlsi=tCNHKClMQ0uaxRp7 отблагодарить/поддержать: boosty.to/molotov_ilya/donate Структура: 00:00 Вступление. Поля 00:45 Внешняя алгебра 02:09 Скалярное произведение. Ковектор 04:05 N-ковекторы 05:09 Ковекто...
Формула интереса и её приложение к общению.
zhlédnutí 2KPřed 2 měsíci
Для тех кто хочет доносить идеи и понимать себя. Материалы для изучения: - страница Jürgen Schmidhuber - people.idsia.ch/~juergen/beauty.html - фракталы - en.wikipedia.org/wiki/Julia_set отблагодарить/поддержать: boosty.to/molotov_ilya/donate Структура: 00:00 Вступление 00:50 Идея низкой сложности и красоты 02:58 Фракталы и паттерны 04:50 Как мы стремимся к эффективности 05:50 Интерес - градиен...
Ассоциативность: графическая интуиция пути
zhlédnutí 735Před 2 měsíci
Видео о том что такое ассоциативность "на пальцах". Для тех кто хоть раз учился в школе. Что я понял только дойдя до теории категорий. отблагодарить/поддержать: boosty.to/molotov_ilya/donate Что упоминал в видео: - не ассоциативность октинионов. Кватернионы. - числа Каталана. Про них статья:internat.msu.ru/media/uploads/2015/12/CHisla-Katalana_jk.pdf Материалы публикации: Music - " New Again " ...
Разрушение ложных гипотез. Как опровержение может стать доказательством.
zhlédnutí 1,6KPřed 2 měsíci
Видео для всех кто хочет ясно мыслить о причинах и следствиях. Для тех кто хотел бы проверить на прочность свои негативные убеждения или опровергнуть глупые чужие. Это видео о достаточных основаниях и как мы можем найти из используя доказательство от противного. отблагодарить/поддержать: boosty.to/molotov_ilya/donate #фальсификация #доказательствоотпротивного #эпистемология
Гомологии. Основы: что такое дыра и группа гомологий.
zhlédnutí 3,1KPřed 2 měsíci
Гомологии на визуальном языке. Вывод формальной идеи группы гомологий на симплициальных комплексах. Замечания: 1. в видео группы гомологий обозначены с индексом который находится вверху. Такое обозначение вводится обычно для когомологии, в то время как у гомологии индекс обычно ставится снизу. 2. когда говориться, что группы гомологий полностью способны характеризовать пространство 5:20 - это с...
Иерархическая временная память // Hierarchical temporal memory // HTM
zhlédnutí 245Před 2 měsíci
Краткое описание алгоритма "hierarchical temporal memory" отблагодарить/поддержать: boosty.to/molotov_ilya/donate Ссылки: 1. Biological and Machine Intelligence (BAMI) by Numentia - www.numenta.com/resources/htm/biological-and-machine-intelligence/ 2. HTM Basics with Rahul - czcams.com/video/z6r3ekreRzY/video.html 3. плейлист "HTM School" - czcams.com/video/XMB0ri4qgwc/video.html 4. Частичный п...
Лемма Йонеды. Сложное представление очевидного.
zhlédnutí 1,1KPřed 3 měsíci
Видео о теореме-лемме Йонеды, из теории категорий. отблагодарить/поддержать: boosty.to/molotov_ilya/donate Структура: 00:00 Вступление 01:00 Аксиомы теории категорий 02:45 Функторы и стрелки 04:29 Естественные преобразования 05:25 Теорема Йонеды 06:32 Графическое представление 07:20 Упрощённая версия леммы 09:25 Заключение *на 7ой минуте - ошибка с направлением стрелки А-B. Но запись выше верна...
Теория интегрированной информации // Integrated information theory
zhlédnutí 715Před 3 měsíci
Теория интегрированной информации // Integrated information theory
Принцип свободной энергии и активного вывода К.Фристона
zhlédnutí 257Před 3 měsíci
Принцип свободной энергии и активного вывода К.Фристона
Пространство решений
zhlédnutí 277Před 3 měsíci
Пространство решений
Вероятностное пространство по А.Колмогорову. Аксиомы Колмогорова.
zhlédnutí 939Před 3 měsíci
Вероятностное пространство по А.Колмогорову. Аксиомы Колмогорова.
Практика медитации и невербального наблюдения
zhlédnutí 204Před 3 měsíci
Практика медитации и невербального наблюдения
О ступенях математики применительно к науке.
zhlédnutí 2KPřed 3 měsíci
О ступенях математики применительно к науке.
схема рефлексивного субъекта В.Лефевр.
zhlédnutí 267Před 3 měsíci
схема рефлексивного субъекта В.Лефевр.

Komentáře

  • @user-ed5do1oc2p
    @user-ed5do1oc2p Před 2 dny

    спасибо за видео!

  • @gel2709
    @gel2709 Před 2 dny

    Спасибо Вам за видео!

  • @melodiesfrommars7432

    Ты удалил свой Telegram канал? Если да, то почему?

    • @molotov_ilya
      @molotov_ilya Před 2 dny

      Да. Сейчас он бесполезен.

  • @MrKviter1
    @MrKviter1 Před 3 dny

    Ну слава Богу

  • @user-hh8pu9mz5z
    @user-hh8pu9mz5z Před 3 dny

    А я думал, что ты уже пропал. Рад видеть. Комментарий в продвижение

  • @alexeidubrovin5234
    @alexeidubrovin5234 Před 8 dny

    в квантмехе есть обознаения типа <a|b> что помню |b> это вектор в гильбертовом пространстве, <a| - ковектор, и вектор называют состоянием квантовой системы, ковектор взаимодействием, нам никогда не объясняли почему, если сможете - расскажите

    • @molotov_ilya
      @molotov_ilya Před 8 dny

      это бра и кет "векторы". Первый <a| можно считать функционалом действующим на вектор, а второй тем на что действуют. Хотя тут получается, что всякий вектор это одновременно и то, на что действуют и то, что само действует. Вроде как что относительно чего вычисляем.

  • @vitalyrybin5645
    @vitalyrybin5645 Před 18 dny

    Отличное интуитивно понятное изложения. Огромное спасибо.

  • @hellsbook3911
    @hellsbook3911 Před 19 dny

    Будьте моим преподавателем по алгебре, пожалуйста! Я наконец-то начал хорошо понимать теорию групп, когда мы спустились на уровень ввше.

    • @molotov_ilya
      @molotov_ilya Před 19 dny

      @hellsbook3911 Можете написать в тг, обсудим @molotov_ilya

  • @user-zd6us6sl3f
    @user-zd6us6sl3f Před 23 dny

    Про «кластеры» классический пример - это категория полей. Между полями разной характеристики не существует морфизмов (полей). При вложении единица будет "наследоваться", поэтому поля разной характеристики не могут взаимодействовать

  • @varuzhansarkisyan5572

    Можно ли рассматривать в виде А->В вычисление матрицы корреляции из исходных данных?

    • @molotov_ilya
      @molotov_ilya Před 27 dny

      Здесь нужно понимать в какой форме представлены исходные данные. Объекты должны иметь сходную структуру. Коэффициенты корреляции вычисляются не в лоб как умножение матриц, так что если данные представить в матрице или в списке, нужно хитрый оператор придумать. Поэтому я сходу не вижу как связь построить. Если только не предполагать, что мы вообще их всевозможный наборов данных (А) строим связку во всевозможные матрицы корреляции B Возможно если как то в множества объединить произвольные и уже оттуда строить функцию от Х, Y наборов, тогда можно. Но тогда не понятно с какими ещё объектами это можно связывать и зачем было упаковывать всё. Так как итоговый смыл в том, чтобы выделять общие закономерности "с высоты птичьего полёта".

    • @varuzhansarkisyan5572
      @varuzhansarkisyan5572 Před 26 dny

      @@molotov_ilya спасибо большое за подробный ответ

  • @olegsuptelia1401
    @olegsuptelia1401 Před 27 dny

    Жги

  • @timax1692
    @timax1692 Před 28 dny

    Возможно ли создание высших категорий из поликатегорий? Проводить из списка стрелок стрелку к другому списку стрелок.

    • @molotov_ilya
      @molotov_ilya Před 28 dny

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

  • @MICR0N.official
    @MICR0N.official Před 28 dny

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

    • @molotov_ilya
      @molotov_ilya Před 28 dny

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

  • @iuxdhninhd3iucdwcefrw4rfvc19

    Большое спасибо ❤ Философски очень интересная теория, честно говоря в области философии сознания не вижу ей достойных конкурентов сегодня. А Вы? Ещё, похоже, что теория хорошо соотносится с теорией гиперсетевой модели мозга "когнитом" Анохина. Перекликается с буддискими/индуисткими идеями причинности, кармы. Хорошо согласуется с тем, что мы видим в развитии нейронок. В общем, не спроста такая популярная теория. Кажется что все её слабости со временем отшлифуются и со временем это надолго станет основной теорией сознания. Единственный затык на её пути мне видится в её математичности, из-за теоремы Гёделя о неполноте. Но, наверное, это даже не то, чтобы исключительно её слабость. Интересно знать, что Вы думаете об этом?

    • @molotov_ilya
      @molotov_ilya Před 29 dny

      Философски это слабая теория. У неё есть ряд интересных соображений по тому, как критерии работы сетей описывать. С когнитомом Анохина согласуется постольку поскольку и там и там говорят про сети, хотя модель К.В. Анохина думаю идёт своим путём. Вычислительные слабости скорее всего переделают со временем, философские нет. Про теорему Гёделя - тут не понятно причём, если не говорить о общих вычислительных сложностях в формальных системах. Тут скорее надо ставить вопрос, что упускается , когда мы описываем мозг только сетевыми моделями и забываем многие сторонние факторы.

    • @iuxdhninhd3iucdwcefrw4rfvc19
      @iuxdhninhd3iucdwcefrw4rfvc19 Před 29 dny

      @@molotov_ilya интересно, какие слабости? Реально хочу узнать, буду очень благодарен, можно тезисно, инфы мало, либо я не нахожу. Слышал был какой-то скандал с ней полгода назад.

    • @molotov_ilya
      @molotov_ilya Před 29 dny

      @@iuxdhninhd3iucdwcefrw4rfvc19 основная проблема, что всякая научная теория опирается на физикализм и структурализм для исследования тех или иных явлений. В то время как есть проблема дуализма свойств, которая выходит за рамки наблюдаемого мира в мир не наблюдаемый. Область где научная методология на данный момент говорит лишь о корреляциях с физическими явлениями. В рамках же этой теории автор вводит аксиомы постулирующих сознание через физические структуры. Это не решает "mind-brain problem" / трудной проблемы сознания. Это введение новой "онтологии", того как устроен мир, но такие заявления требуют философского анализа, а не научного. Он говорит с позиции неких функциональных систем, пытаясь говорить от наука, не объясняя зачем вообще необходимо сознание. В связи с этим в недавнем времени часть учёных писали некоторое письмо или петицию о сомнительности утверждений Дж.Тонони. Проблема как я думаю в том что неплохую функциональную теорию, которая описывает корреляция сознательной активности - автор изначально представил через призму феноменологии, в то время как "аксиомы" теории было бы логичнее поместить в выводы как корреляты психической активности. В остальном миленькая модель.

    • @iuxdhninhd3iucdwcefrw4rfvc19
      @iuxdhninhd3iucdwcefrw4rfvc19 Před 29 dny

      @@molotov_ilya большое спасибо за ответ. Конечно, я лично, не могу быть уверен вообще в существовании трудной проблемы, да и вообще феноменологического сознания и дуализма. Всегда представлялось, что я и есть мой мозг, я и есть моё тело, я и есть мой опыт, я и есть квалиа, всё это тождественно. Тогда и вопрос о существования квалиа, стоит задавать иначе, не "а существует ли квалиа?", а, скорей, "а существует ли хоть что-то, что нельзя назвать квалиа?". Кажется, что чтобы почувствовать что угодно, нужно быть этой самой системой, нейросетью, травой, грибницей, бактерией, вирусом, социальной группой, колонией термитов и т.д. Тогда отпадает какой-то дуализм, материя(которая для пристального наблюдателя по сути информационный код, чистая математика) и сознание друг-друга не порождают, а буквально материя это сознание, а сознание это материя. Никогда не понимал, зачем в философии многие проводят тут такую черту, как по мне, это из-за интуитивного восприятия пространства и врождённого эгоцентризма, антропоцентризма и исторически так сложилось. На вот такое моё субъективное мироощущение, пока ложится только ТИИ, хотя я довольно мало знаю, про разные теории сознания, может есть что-то более согласующееся с моим ощущением, а может быть и эта не согласуется? Очень интересно с Вами разговаривать! В моём окружении нет собеседников на такие темы, да и в сети совсем их немного, а темы философии сознания, философии математики и футурологии, для меня самые волнующие.

    • @molotov_ilya
      @molotov_ilya Před 27 dny

      Есть несколько вопросов которые можно обдумать. Вы применяете слово "существовать", но что именно обеспечивает это существование - нетривиально. Причём как для субъективных, так и общедоступных "объектов". Я соглашусь, что всё, что нам дано - это субъективный опыт, в том числе объективная реальность. Тут скорее вопрос - зачем в таком случае мы имеем внутренний опыт, то, что приватно. Можно было бы сказать, что это то, что присуще системе по внутренним взаимодействиям, но это объяснение с позиции третьего лица, когда мы уже имеем структуру. Мы можем предполагать, что "там" (внутри этой системы) есть какое-то квалиа, но это лишь предположение. Мы не можем понять какого быть летучей мышью или ощутить опыт другого человека. Более того, может быть только у одного вас во вселенной есть это чувство самосознания, а все вокруг говорят заученные фразы, но внутри ничего не испытывают. Из того, что системы имеют внутреннее физическое взаимодействие никак не следует что в них должен быть "внутренний опыт". Размышляя над всем этим я прихожу к идее, что нужно думать не о субъективном и объективном, или о физическом и духовном. Главный вопрос - что значит существовать. Как вообще возникают формы и как они наблюдаются "субъектами". Как у этих субъектов возникают категории "пространства, времени, возможности и т.д....". Как субъект осознаёт себя субъектом - т.е. формирует собственное "существование". И на этот вопрос нельзя ответить в рамках существующей "науки", что бы не имелось ввиду под этим словом. Это не делает науку плохой. Просто, как я писал выше, наука имеет чёткую натуралистическую позицию, что мир физический и всё физическое. Следовательно и сознание - следствие физического, структурного набора процессов. Я считаю это определённой философской парадигмой. Плюс не считаю, что только "философия" нас всех спасёт. Полагаю, что учёные-экспериментаторы в ходе постепенных экспериментов с AI и мозгом - найдут интересные феномены и тогда уже их практики можно будет говорить о философии сознания. Многие уже открытые вещи в СТО, ОТО, квантовой физике и теории поля, до сих пор трактуются по типу "а волна или частица, хммм", хотя это снятый вопрос. Так чего ожидать от открытий в области нейробиологии, которые только только формируются. Если всё упростить до одного мысленного эксперимента - представьте, что весь мир вокруг вас - сверхинтеллект из нано-роботов, которые создали весь этот мир, чтобы понять, о каком таком "сознании" говорили люди. Каждый листик и травинка - всё это такая "матрица", а сознание есть только у вас, у последнего человека на земле. Как тогда понять, что сознание есть у всего этого физического мира.

  • @khachaturmaghakyan3980

    4:29 красная стрелка - она в одну сторону. Это что-нибудь означает?

    • @molotov_ilya
      @molotov_ilya Před 29 dny

      Если про стрелку над функциями - то это обозначение порядка слева направо. Как правило композицию функций пишут наоборот.

    • @khachaturmaghakyan3980
      @khachaturmaghakyan3980 Před 29 dny

      @@molotov_ilya Нет, я про красную стрелку между А и А. Пом чему она односторонняя?

    • @molotov_ilya
      @molotov_ilya Před 29 dny

      @@khachaturmaghakyan3980 стрелки всегда односторонние. В практике я предложил рассмотреть как раз - можно ли её обернуть в противоположную сторону.

    • @khachaturmaghakyan3980
      @khachaturmaghakyan3980 Před 29 dny

      @@molotov_ilya ок, спс.

  • @typa2124
    @typa2124 Před měsícem

    браво

  • @user-hh8pu9mz5z
    @user-hh8pu9mz5z Před měsícem

    Комментарий в Продвижение. Надо написать восемь слов, поэтому комментарий такой длинный

  • @user-vl6bt6st4x
    @user-vl6bt6st4x Před měsícem

    1). Нога, рука, голова, палец - части тела. 2). Война и мир Толстого, Государство Платона, Приключения Математика Станислава Улама, Все Рушится Чинуа Ачебе - книги. 3). Топор, носок, честь, пустота - несвязанные вещи. 4). Топор, носок, честь, пустота - слова. 5). 1, 2, 3, 4, 5 - какие-то закарючки.

  • @wildwinner2849
    @wildwinner2849 Před měsícem

    Сначала не понял почему вычитание, деление, степень не чувствительны к порядку. А потом как понял)

  • @user-to1hz8rj3g
    @user-to1hz8rj3g Před měsícem

    Спасибо за видео, очень интересно! Хотелось бы продолжения по этой теме с применением в дифференциальной геометрии, теории многообразий или физике)

  • @user-nw4nu8mf1b
    @user-nw4nu8mf1b Před měsícem

    1. Каждый элемент может перейти в один из N элементов независимо от других, значит для одного количество вариантов N, для двух N*N, а для N - N^N. 2. Такие отображения называются инволюциями вроде. Навскидку это любая перестановка с циклами длины не более 2. Для трёх элементов я насчитал 4 таких перестановки: 123, 213, 321, 132. Общую формулу для N так сходу не нашел :-( 3. Просто любая неинволютивная перестановка и обратная ей, например: 231 и 312.

    • @humster-
      @humster- Před 23 dny

      В 2м вы привели циклы длинны 3, если я правильно помню. По Кострикину, цикл длинны 2 обозначить можно (12). Цикл длинны 3 - (123) Тогда для 3х элементов это будет 3 перестановки (12), (13),(23).

    • @humster-
      @humster- Před 23 dny

      Также в 2м (213), (321) и (132) эквивалентны. Это можно увидеть по тому, что в что переходит

  • @plebeian_
    @plebeian_ Před měsícem

    27 эндоморфизмов?

    • @plebeian_
      @plebeian_ Před měsícem

      на 3х элементном мн-ве. И n^n эндоморфизмов на n-элементном множестве

  • @artmusername
    @artmusername Před měsícem

    Спасибо большое за труд! Надеюсь, серия продолжится дальше, потому что видел несколько введений в теорию категорий, где давались только базовые определения, общие слова типа "в теории категорий нас интересуют не сами объекты, а взаимоотношения между ними" и пару примеров категорий. Такие введения, кмк, на самом деле особо ничего не дают, почти как hello world в программировании :) Будет классно, если вы дойдете до естественных преобразований и универсальных конструкций, снабдив это несколькими примерами, как вы сделали здесь.

  • @PRiKoL1ST1
    @PRiKoL1ST1 Před měsícem

    Теория меры вошла в чат

  • @ynateling
    @ynateling Před měsícem

    Буду ли я прав, если скажу, что базис отображений для графа из 5:20 ("Практика") есть 1->2, 2->3, 3->5, 4->6, 5->6, 6->4? Так мы получаем отображения, с учётом возможных композиций базиса: 1->остальные, 2->остальные\1, 3->4, 5, 6 4->6 5->4, 6 6->4 ? Вообще ролики крутые, давно хотелось узнать про теорию категорий хотя бы на базовом уровне

    • @molotov_ilya
      @molotov_ilya Před měsícem

      с первого взгляда верно.

  • @user-zf4cd6xv7v
    @user-zf4cd6xv7v Před měsícem

    Почему при A->B->C. f(A)=B, g(B)=C. композицию h(A)=C, записывают как h=gf, а не fg. Вероятно принято, что стоит ближе* к функции первым действует?

    • @molotov_ilya
      @molotov_ilya Před měsícem

      Вы правы. g - выступает как внешняя функция поэтому её записывают левее. Мы как бы опустили g(f(x)).

  • @vladislavgolubev680
    @vladislavgolubev680 Před měsícem

    В Вашем курсе будут затронуты string diagrams?

    • @molotov_ilya
      @molotov_ilya Před měsícem

      Так далеко не планировал. Поэтому вероятность 50/50. Вообще, хорошая идея в рамках прикладной теории категорий их обсудить. Может даже отдельным плейлистом. Но это не скоро будет.

    • @vladislavgolubev680
      @vladislavgolubev680 Před měsícem

      @@molotov_ilya Спасибо за ответ.

  • @Jius-fg5zq
    @Jius-fg5zq Před měsícem

    Так и до теории гомотопий недалеко))

  • @user-xr7ou1xf9x
    @user-xr7ou1xf9x Před měsícem

    Крутое объяснение. А есть ли что-то такое почитать, чтобы проникнуться и вдохновиться Математикой как таковой? Я слышал, что вроде бы у Ферма был фундаментальный труд по математике. Но не уверен.

    • @molotov_ilya
      @molotov_ilya Před měsícem

      Лучше како-нибудь журнал "Квант" советский. Сейчас много каналов на YT, тот же 3b1b. Хотя многие на английском, но можно смотреть с переводом.

  • @user-sd3su8fw2y
    @user-sd3su8fw2y Před měsícem

    Спасибо вам, продолжайте пожалуйста

  • @user-lp9hk2jm4m
    @user-lp9hk2jm4m Před měsícem

    Проубессмысленная математическая супераюстракция для интеллектуального удовольствия? Чёрт возьми, да это круче, чем бледные руки в средние века! Звучит чертовски охрененно! Автору респект, очень жду)

  • @bananchik3125
    @bananchik3125 Před měsícem

    Покажи в следующем видео пару простых реальных примера решения таких задач как те, что в конце

    • @molotov_ilya
      @molotov_ilya Před měsícem

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

    • @bananchik3125
      @bananchik3125 Před měsícem

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

  • @alexanderskusnov5119
    @alexanderskusnov5119 Před měsícem

    f: A -> B. А как же функция сложения, у которой результат это продукт двух объектов? - это задача № 7

    • @molotov_ilya
      @molotov_ilya Před měsícem

      Поясните в чём вопрос

  • @user-gv8fb8xi2l
    @user-gv8fb8xi2l Před měsícem

    Спасибо за видео! На мой взгляд, интересная картина тут представлена

  • @_3_774
    @_3_774 Před měsícem

    1. Конечно, да! и таких отображений n!. n - мощность множества.

    • @molotov_ilya
      @molotov_ilya Před měsícem

      Если во множестве конечный набор элементов

  • @astra_frog
    @astra_frog Před měsícem

    Спасибо, это очень интересно

  • @BAHE4KA
    @BAHE4KA Před měsícem

    Краткое изложение Аристотеля, поехали

  • @humster-
    @humster- Před měsícem

    1) предположим мы рассматриваем объекты, как упорядоченные множества. Для Hom(X,X) мы можем взять биективное отображения X ->X, которая не поменяет общую структуру множества, но все элементы перемешаются. Если не биективное, то множество моет сжаться, и это уже будет подмножество => другой объект. 2) возьму житейский пример: мы можем поменять у ручки колпачок. И тогда получим три варианта ручек с синим красным и зеленым колпачком. Эти варианты - объекты категории ручек. И получится структура, где все объекты связаны с всеми. 3) примеры морфизмов в категориях, я приводил 4) несколько преобразований возможны, например, для категории трехмерных объектов построенных в 3д редакторе. Например, куб в шар мы можем превратить путем скульптинга вершин, увеличением количетва вершин, или с помощью удаления куба и добавления шара на сцену. Также допустимо ввести несколько морфизмов между двумя автоматами. Поскольку можно считать, что разные дискретные автоматы являются одним объектом, если они эквивалентны, то есть имеют одинаковое поведения для любых входных данных. Для других категорий, которые я придумывал не особо получается ввести несколько преобразований 5) обращение преобразований допустимо почти для всех привденных под предыдущем видео, для которых я привел преобразования. Разве что с текстом, соответствующем грамматики, такое нельзя будет произвести, ввиду того, что текст можно только увеличивать, но не уменьшать На 6й затрудняюсь ответить

  • @astra_frog
    @astra_frog Před měsícem

    Спасибо! Делай еще!

  • @user-wn1dd8ls2u
    @user-wn1dd8ls2u Před měsícem

    Вспомнил, что в «мягкой» версии учебника Петерсон в начале 2 части 2 класса как раз вводится тема «Операции», и содержание этого видео в основе как раз оттуда

    • @molotov_ilya
      @molotov_ilya Před měsícem

      Вообще, видео подготовлено по учебникам для 1 класса, это же очевидно. Хотел сначала литературу для дошкольников использовать.

    • @user-wn1dd8ls2u
      @user-wn1dd8ls2u Před měsícem

      @@molotov_ilya если что, я не хотел никого обидеть; просто мне этот учебник и вправду восхищает тем, что уже во втором классе есть параграфы "Операции" и "Обратные операции", то есть математику уже тогда рассказывают на таком достаточно общем уровне. Там как раз во втором уроке есть задание: "Лесорубы спилили дерево. Есть ли у этой операции обратная? Приведи примеры операций, которые не имеют обратных" (да, там буквально есть такое задание).

    • @Jius-fg5zq
      @Jius-fg5zq Před měsícem

      Я во втором классе еле умножал числа((

  • @humster-
    @humster- Před měsícem

    Подумал и придумал несколько примеров категорий: - категория графов(ориентированных/неориентированных и других). Не знаю обязательно ли вводить условие, что они должны состоять из одинакового количества вершин, но наверно стоит. - из категории графов строится категория дискретных автоматов - категория всех огнестрельных орудий, которые можно получить модернизацией одного. Тут вспоминаются компьютерные игры с кучей возможных модификаторов. - Ну или просто категория объектов, которые могут получится из исходного последовательностью модернизаций. - Категория всех возможных 3д(векторных 2д) объектов, построенных в чертежной программе или программе 3д моделирования. Преобразования - соответственно набор(последовательность) преобразований, которые необходимы, чтобы один объект перевести в другой. Далее приведу некоторые сложные в построении и представлении категории(если таковыми можно считать) - трансцендентные числа. Не совсем уверен в корректности, но вроде как можно задать категорию почти над любым множеством. Ведь так? - неизмеримые по Лебегу множества в R^n. Тоже, очень стремный набор. Измеримые вроде являются множеством. Неизмеримые вроде тоже... - категория всех возможных программ, соответствующих заданной грамматике. Преобразования - дописывание программы в соответствии с грамматикой.(самое реальное из сложных) Скорее всего в первой части привел более-менее корректные примеры, а в второй просто попытался сделать страшную конструкцию.

    • @molotov_ilya
      @molotov_ilya Před měsícem

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

  • @user-ug7vb8fj4d
    @user-ug7vb8fj4d Před měsícem

    Здравствуйте Илья! Думал, что число может стать строкой, да, но вот как строка может стать числом? И вы представляете! Вспомнил, что буквально вчера утром, я хотел поблагодарить одного очень хорошего человека, и так как я изучаю математику, я сделал ей красивую картинку - "Спасибо", в степени бесконечность)

  • @mndtr0
    @mndtr0 Před měsícem

    У меня культурный шок... Почему теория множеств - полумёртвая?!

    • @molotov_ilya
      @molotov_ilya Před měsícem

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

    • @mndtr0
      @mndtr0 Před měsícem

      @@molotov_ilya ну ок, это имеет смысл

  • @alexkuznetsov4254
    @alexkuznetsov4254 Před měsícem

    Домашняя работа: Рассмотрим категорию стен в квартире. Там содержатся: стены с желтыми обоями, стены с зелёными обоями, стены с плиткой, стены крашеные масляной краской. В качестве отображения рассмотрим такое отображение этих объектов, которое может произвести обычный человек (не мастер ремонта): он может сменить одни обои надругие, содрать обои и покрасить стену (причем обратное не верно. Если стена покрашена, то простой человек ничего с ней сделать не может. Я когда ремонт делал понял, что ее ничем не содрать: ни шпателем, ни болгаркой, ни растворителем) точно также он не может перевести стену с плиткой в другую стену и обратно. Тут надо быть плиточником. И того получаем отображение: стена с обоями любого цвета -> стена с обоями любого цвета или крашенная; крашенная, плиточная отображаются только сами в себя.

    • @molotov_ilya
      @molotov_ilya Před měsícem

      Класс) Сам недавно делал ремон)

  • @HarshPM
    @HarshPM Před měsícem

    Интересно, а есть ли категория всех категорий и будет ли она экстраординарной, т.е. содержать саму себя?

    • @molotov_ilya
      @molotov_ilya Před měsícem

      Изначально тут всё сводится к парадоксу Рассела. Когда мы говорим о совокупности объектов Категории - рассматривается класс, а не множество. (Если подходить к рассмотрению через множества). Чтобы не сталкиваться с парадоксами рассматривают только категорию малых категорий. Она не является своим представителем, т.е. малой категорией. Я запишу об этом видео попозже. Спасибо за идею.

    • @humster-
      @humster- Před měsícem

      ​@@molotov_ilya, если правильно помню, то как раз переходя к классам, а не рассматривая множества, можно задавать такие "категории категорий" и даже морфизмы можно спокойно определить, как отображения между категориями. Но да, для простоты можно их опускать(наверно)

    • @molotov_ilya
      @molotov_ilya Před měsícem

      @@humster- главное не забывать упоминать если с такими штуками работаем. Хотя это почти никогда не случается. Поэтому на время забудем.

  • @mrhalp8953
    @mrhalp8953 Před měsícem

    Спасибо за видео. Если взять например самокат, мотоцикл, автомобиль, самолёт, ракета сказать что это всё разные виды транспорта и попросить между ними прогрессию скорости то можно ли это считать категорией?

    • @molotov_ilya
      @molotov_ilya Před měsícem

      Про скорость не совсем понял. Как вариант, можно упорядочить по их скорости. Будет категория порядка как частично упорядоченное множество.

  • @user-es6hc4qk3t
    @user-es6hc4qk3t Před měsícem

    дааа давай давай урааааа

  • @usercommon1
    @usercommon1 Před měsícem

    Воооо

  • @konstantius6647
    @konstantius6647 Před měsícem

    Случайно натолкнулся на канал и рад этому. :)

  • @salfadelay2157
    @salfadelay2157 Před měsícem

    потрясающе! очень ждем!