molotov_ilya
molotov_ilya
  • Видео 21
  • Просмотров 22 511
прото-мульти-полу-поли-категории... // Теория категорий 1.6.
Об определении категории и всяких изуверствах над ним. Завершение базовых аксиом.
отблагодарить/поддержать:
сбер 2202 2062 2391 6193
boosty.to/molotov_ilya/donate
тг канал: t.me/molotov_ilya_tg
Дополнительно можешь почитать:
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
7. en.wikipedia.org/wiki/Homotopy_type_theory
Структура ролика:
00:00 Вступление
00:40 Категория
01:38 Протокатегория
02:00 Полукатегория
02:42 Мультикатегория
03:21 Высшие категории
04:32 Заключение
В видео использованы материалы
- ru.wikipedia.org/wiki/Г...
Просмотров: 419

Видео

Ассоциативность. Как комбинировать комбинации? // Теория категорий 1.5.
Просмотров 6617 часов назад
Равенство различных путей. Упоминал: - тождество Якоби - ассоциативность - коммутативность - систему октав - она же алгебра Кэли. - числа Каталана отблагодарить/поддержать: - сбер 2202 2062 2391 6193 - boosty.to/molotov_ilya/donate тг канал: t.me/molotov_ilya_tg Дополнительные материалы: - ncatlab.org/nlab/show/associativity - Conceptual Mathematics, A first introduction to categories - 17 стр....
Тождественный эндоморфизм. Почему что-то равно себе? // Теория категорий 1.4.
Просмотров 1,2 тыс.19 часов назад
Что такое эндоморфизм и почему так важно ничего не делать. См.подсказки ниже ... Замечание к 01:44 . Вернее говорить, что "эндомофизм" - это отображение не "на", а "В" себя. Слово "на" лучше использовать для сюръекции и эпиморфизмов, а приставка "эндо" обозначает "внутрь". отблагодарить/поддержать: - boosty.to/molotov_ilya/donate - сбер 2202 2062 2391 6193 тг канал: t.me/molotov_ilya_tg Дополни...
Композиция и диаграммы. Как комбинировать преобразования? // Теория категорий 1.3.
Просмотров 80521 час назад
Про то, как комбинировать и изображать морфизмы Замечания: 1. при взятии функции используется порядок справа налево g(f(x)) = g○f (...). Это стандартно в теоретико-множественных обозначениях. Для удобства: я применяют постфиксную запись, в порядке следования функций на диаграммах (...) f○g. Это позволяет отслеживать порядок стрелок на диаграмме слева-направо. Можете также прочесть ru.wikipedia....
Морфизмы-стрелки и домены // Теория категорий 1.2.
Просмотров 1,6 тыс.День назад
Теория категорий 1.2. Описание преобразований между объектами. Доп. материалы почитать: - ncatlab.org/nlab/show/target - ncatlab.org/nlab/show/domain отблагодарить/поддержать: - boosty.to/molotov_ilya/donate - сбер 2202 2062 2391 6193 тг: t.me/molotov_ilya_tg предложить идею: forms.gle/Edfd3Y9Chh1zhRDk8 В качестве практики: 1. Можно ли операцию с одним объектом представить стрелкой? Как это фор...
Объекты категории // Теория категорий 1.1.
Просмотров 2,1 тыс.День назад
Что такое объекты категории Дополнительно почитать: ncatlab.org/nlab/show/object донаты: - boosty.to/molotov_ilya/donate - сбер 2202 2062 2391 6193 телеграм канал: t.me/molotov_ilya_tg Ключевые слова: 1. теория категорий 2. объекты Структура: 00:00 Интро 01:09 Структура 01:37 Примеры 03:00 Замечания 03:52 Практика 04:43 P.S. Использованные в видео картинки: 1. icons8.com/icon/QPMtNJY6smos/love ...
Тизер к серии о теории категорий.
Просмотров 2,3 тыс.14 дней назад
Про что и на основе чего. тг: 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. А. Л. Горо...
Дифференциальные формы. Ковекторы.
Просмотров 3,3 тыс.Месяц назад
визуализация поля N-мерных ковекторов. Материалы для ознакомления: 1. Визуализация - ruclips.net/video/60z_hpEAtD8/видео.htmlsi=yB08qLnm5BNFbKvb 2. Лекция - ruclips.net/video/paEKgbiCyPk/видео.htmlsi=tCNHKClMQ0uaxRp7 Структура: 00:00 Вступление. Поля 00:45 Внешняя алгебра 02:09 Скалярное произведение. Ковектор 04:05 N-ковекторы 05:09 Ковекторное поле 06:00 Дифференциальная форма 07:32 1-форма 0...
Формула интереса и её приложение к общению.
Просмотров 1,9 тыс.Месяц назад
Для тех кто хочет доносить идеи и понимать себя. Материалы для изучения: - страница Jürgen Schmidhuber - people.idsia.ch/~juergen/beauty.html - фракталы - en.wikipedia.org/wiki/Julia_set Структура: 00:00 Вступление 00:50 Идея низкой сложности и красоты 02:58 Фракталы и паттерны 04:50 Как мы стремимся к эффективности 05:50 Интерес - градиент красоты 07:23 От чего меняется инетерс 08:45 Мотивация...
Ассоциативность: графическая интуиция пути
Просмотров 682Месяц назад
Видео о том что такое ассоциативность "на пальцах". Для тех кто хоть раз учился в школе. Что я понял только дойдя до теории категорий. Что упоминал в видео: - не ассоциативность октинионов. Кватернионы. - числа Каталана. Про них статья:internat.msu.ru/media/uploads/2015/12/CHisla-Katalana_jk.pdf Материалы публикации: Music - " New Again " by Josh Woodward. Free download: www.joshwoodward.com/ #...
Разрушение ложных гипотез. Как опровержение может стать доказательством.
Просмотров 1,5 тыс.Месяц назад
Видео для всех кто хочет ясно мыслить о причинах и следствиях. Для тех кто хотел бы проверить на прочность свои негативные убеждения или опровергнуть глупые чужие. Это видео о достаточных основаниях и как мы можем найти из используя доказательство от противного. #фальсификация #доказательствоотпротивного #эпистемология
Гомологии. Основы: что такое дыра и группа гомологий.
Просмотров 2,6 тыс.Месяц назад
Гомологии на визуальном языке. Вывод формальной идеи группы гомологий на симплициальных комплексах. Замечания: в видео группы гомологий обозначены с индексом который находится вверху. Такое обозначение вводится обычно для когомологии, в то время как у гомологии индекс обычно ставится снизу. Дополнительные материалы: 1. видео: - The derivative isn't what you think it is. - ruclips.net/video/2ptF...
Иерархическая временная память // Hierarchical temporal memory // HTM
Просмотров 2212 месяца назад
Краткое описание алгоритма "hierarchical temporal memory" Эпизоды: 00:00 Вступление 00:53 Архитектура сети 02:06 Пространственный алгоритм 03:09 Временной алгоритм 04:06 Иерархия регионов 04:39 Заключение Ссылки: 1. Biological and Machine Intelligence (BAMI) by Numentia - www.numenta.com/resources/htm/biological-and-machine-intelligence/ 2. HTM Basics with Rahul - ruclips.net/video/z6r3ekreRzY/...
Лемма Йонеды. Сложное представление очевидного.
Просмотров 8832 месяца назад
Видео о теореме-лемме Йонеды, из теории категорий. Эпизоды: 00:00 Вступление 01:00 Аксиомы теории категорий 02:45 Функторы и стрелки 04:29 Естественные преобразования 05:25 Теорема Йонеды 06:32 Графическое представление 07:20 Упрощённая версия леммы 09:25 Заключение *на 7ой минуте - ошибка с направлением стрелки А-B. Но запись выше верна, если рассматривать двойственное утверждение (контр- и ко...
Теория интегрированной информации // Integrated information theory
Просмотров 5512 месяца назад
Описание теории интегрированной информации: - аксиомы - математические структуры - частичный обзор Description of the theory of integrated information: - axioms - mathematical structures - partial review # Эпизоды: 00:00 - введение / intro 04:03 - теория / theory 06:24 - структуры информации / structures of information 15:34 - интеграция / integration 19:35 - исключение / exclusion 22:07 - конц...
Принцип свободной энергии и активного вывода К.Фристона
Просмотров 2122 месяца назад
Принцип свободной энергии и активного вывода К.Фристона
Пространство решений
Просмотров 2112 месяца назад
Пространство решений
Вероятностное пространство по А.Колмогорову. Аксиомы Колмогорова.
Просмотров 7262 месяца назад
Вероятностное пространство по А.Колмогорову. Аксиомы Колмогорова.
Практика медитации и невербального наблюдения
Просмотров 1612 месяца назад
Практика медитации и невербального наблюдения
О ступенях математики применительно к науке.
Просмотров 1,6 тыс.2 месяца назад
О ступенях математики применительно к науке.
схема рефлексивного субъекта В.Лефевр.
Просмотров 2092 месяца назад
схема рефлексивного субъекта В.Лефевр.

Комментарии

  • @verzierus
    @verzierus 4 часа назад

    О, манхэттенская метрика в задаче про здания... А вообще, интереснее подумать про пути с таким условием равенства именно в евклидовом пространстве.

  • @varuzhansarkisyan5572
    @varuzhansarkisyan5572 5 часов назад

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

    • @molotov_ilya
      @molotov_ilya 30 минут назад

      Здесь нужно понимать в какой форме представлены исходные данные. Объекты должны иметь сходную структуру. Коэффициенты корреляции вычисляются не в лоб как умножение матриц, так что если данные представить в матрице или в списке, нужно какой-то хитрый оператор придумывать. Поэтому вряд ли можно.

  • @verzierus
    @verzierus 6 часов назад

    Кстати, возникает тогда вопрос: а какое тогда произведение мы используем, когда пишем второй, третий и т.д. дифференциалы функции нескольких переменных? Ведь формула Тейлора - это Δf = df + d^2f/2! + d^3f/3! +.... Слагаемые начиная с d^2f содержат множители вида dxdy, dydz, и dx^3. В каком смысле понимается это умножение именно в контексте дифференциальных форм? Явно не как внешнее и не как внутреннее: внутреннее произведение ковекторов dx и dy равно 0, а внешнее - приводит к тому, что в формуле Тейлора мы должны складывать вектора разных пространств.

  • @verzierus
    @verzierus 7 часов назад

    ПОДПИСКА! Треть курса дифгема за 10 минут! Другое дело, что без этой трети, конечно, видос будет вообще непонятен, но мне, например, очень не хватало таких объяснений. Вроде бы и понимаешь отдельные теоремы, даже с доказательствами, но всё это ощущается как-то не связанным совершенно огромным пластом информации.

  • @olegsuptelia1401
    @olegsuptelia1401 19 часов назад

    Жги

  • @timax1692
    @timax1692 23 часа назад

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

    • @molotov_ilya
      @molotov_ilya 23 часа назад

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

  • @MICR0N.official
    @MICR0N.official День назад

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

    • @molotov_ilya
      @molotov_ilya День назад

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

  • @iuxdhninhd3iucdwcefrw4rfvc19
    @iuxdhninhd3iucdwcefrw4rfvc19 2 дня назад

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

    • @molotov_ilya
      @molotov_ilya 2 дня назад

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

    • @iuxdhninhd3iucdwcefrw4rfvc19
      @iuxdhninhd3iucdwcefrw4rfvc19 2 дня назад

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

    • @molotov_ilya
      @molotov_ilya 2 дня назад

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

    • @iuxdhninhd3iucdwcefrw4rfvc19
      @iuxdhninhd3iucdwcefrw4rfvc19 2 дня назад

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

    • @molotov_ilya
      @molotov_ilya 11 часов назад

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

  • @khachaturmaghakyan3980
    @khachaturmaghakyan3980 2 дня назад

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

    • @molotov_ilya
      @molotov_ilya 2 дня назад

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

    • @khachaturmaghakyan3980
      @khachaturmaghakyan3980 2 дня назад

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

    • @molotov_ilya
      @molotov_ilya 2 дня назад

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

    • @khachaturmaghakyan3980
      @khachaturmaghakyan3980 2 дня назад

      @@molotov_ilya ок, спс.

  • @user-hf7wt4rl5e
    @user-hf7wt4rl5e 3 дня назад

    Там гомологии обозначены как когомологии (индекс сверху, а должен быть снизу)

  • @typa2124
    @typa2124 3 дня назад

    браво

  • @user-hh8pu9mz5z
    @user-hh8pu9mz5z 3 дня назад

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

  • @user-vl6bt6st4x
    @user-vl6bt6st4x 3 дня назад

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

  • @wildwinner2849
    @wildwinner2849 3 дня назад

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

  • @user-to1hz8rj3g
    @user-to1hz8rj3g 7 дней назад

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

  • @user-nw4nu8mf1b
    @user-nw4nu8mf1b 7 дней назад

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

  • @plebeian_
    @plebeian_ 7 дней назад

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

    • @plebeian_
      @plebeian_ 7 дней назад

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

  • @artmusername
    @artmusername 8 дней назад

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

  • @PRiKoL1ST1
    @PRiKoL1ST1 8 дней назад

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

  • @akakiypetrov1853
    @akakiypetrov1853 9 дней назад

    !

  • @PRiKoL1ST1
    @PRiKoL1ST1 9 дней назад

    ничего не понятно но очень интересно

    • @molotov_ilya
      @molotov_ilya 9 дней назад

      Знания забудутся, впечатления останутся

  • @ruslankinzibaev4480
    @ruslankinzibaev4480 9 дней назад

    Буду ли я прав, если скажу, что базис отображений для графа из 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 9 дней назад

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

  • @user-zf4cd6xv7v
    @user-zf4cd6xv7v 9 дней назад

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

    • @molotov_ilya
      @molotov_ilya 9 дней назад

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

  • @vladislavgolubev680
    @vladislavgolubev680 9 дней назад

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

    • @molotov_ilya
      @molotov_ilya 9 дней назад

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

    • @vladislavgolubev680
      @vladislavgolubev680 9 дней назад

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

  • @Jius-fg5zq
    @Jius-fg5zq 9 дней назад

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

  • @user-xr7ou1xf9x
    @user-xr7ou1xf9x 9 дней назад

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

    • @molotov_ilya
      @molotov_ilya 9 дней назад

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

  • @user-iy1yl6bz9i
    @user-iy1yl6bz9i 9 дней назад

    В примере симметрий треугольника разве не должны быть повороты 120, 240 и 360?

    • @molotov_ilya
      @molotov_ilya 9 дней назад

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

  • @user-sd3su8fw2y
    @user-sd3su8fw2y 9 дней назад

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

  • @user-lp9hk2jm4m
    @user-lp9hk2jm4m 10 дней назад

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

  • @bananchik3125
    @bananchik3125 10 дней назад

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

    • @molotov_ilya
      @molotov_ilya 10 дней назад

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

    • @bananchik3125
      @bananchik3125 10 дней назад

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

  • @alexanderskusnov5119
    @alexanderskusnov5119 10 дней назад

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

    • @molotov_ilya
      @molotov_ilya 10 дней назад

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

  • @user-gv8fb8xi2l
    @user-gv8fb8xi2l 10 дней назад

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

  • @_3_774
    @_3_774 11 дней назад

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

    • @molotov_ilya
      @molotov_ilya 11 дней назад

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

  • @astra_frog
    @astra_frog 11 дней назад

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

  • @BAHE4KA
    @BAHE4KA 11 дней назад

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

  • @humster-
    @humster- 11 дней назад

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

  • @astra_frog
    @astra_frog 11 дней назад

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

  • @user-wn1dd8ls2u
    @user-wn1dd8ls2u 11 дней назад

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

    • @molotov_ilya
      @molotov_ilya 10 дней назад

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

    • @user-wn1dd8ls2u
      @user-wn1dd8ls2u 10 дней назад

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

    • @Jius-fg5zq
      @Jius-fg5zq 9 дней назад

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

  • @deadblue6064
    @deadblue6064 11 дней назад

    1: нет потому что ми должни както поменять обєкт. 2: Да я могу взть пару двоїчних чисел A1 A2 i A3 і установить между ними связь путем смищения числа как например 01 - 10 - 01 ну в нашем случає 001 - 010 -100 - 001

    • @Jius-fg5zq
      @Jius-fg5zq 11 дней назад

      1. Наверное можно. Просто это будет тривиальным отображением структуры в себя, которая ничего не делает со структурой. 2. Это как раз и есть композиция двух отображений между тремя обьектами. А вообще чтобы таких путаниц не возникало, нужно более глубже вникать в суть теории категорий, а это значит смотреть 1,5 часовые лекции, и (если вы не особоодаренный) пересматривать чтобы хоть чтото понять. На это не каждый способен

    • @deadblue6064
      @deadblue6064 11 дней назад

      @@Jius-fg5zq спасибо за совет

    • @deadblue6064
      @deadblue6064 11 дней назад

      @@Jius-fg5zq можите кинуть такую лекцию?

    • @Jius-fg5zq
      @Jius-fg5zq 11 дней назад

      @@deadblue6064 ruclips.net/p/PLvPsfYrGz3wsX3Z5KuuEVYhijDxhKCDDD

    • @alexanderskusnov5119
      @alexanderskusnov5119 10 дней назад

      @@deadblue6064 У Бартоша Милевски (есть книга в интернете) и Виталия Брагилевского.

  • @humster-
    @humster- 11 дней назад

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

    • @molotov_ilya
      @molotov_ilya 11 дней назад

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

  • @user-ug7vb8fj4d
    @user-ug7vb8fj4d 12 дней назад

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

  • @MainEditor0
    @MainEditor0 12 дней назад

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

    • @molotov_ilya
      @molotov_ilya 12 дней назад

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

    • @MainEditor0
      @MainEditor0 12 дней назад

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

  • @alexkuznetsov4254
    @alexkuznetsov4254 12 дней назад

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

    • @molotov_ilya
      @molotov_ilya 12 дней назад

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

  • @HarshPM
    @HarshPM 12 дней назад

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

    • @molotov_ilya
      @molotov_ilya 12 дней назад

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

    • @humster-
      @humster- 11 дней назад

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

    • @molotov_ilya
      @molotov_ilya 11 дней назад

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

  • @mrhalp8953
    @mrhalp8953 13 дней назад

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

    • @molotov_ilya
      @molotov_ilya 13 дней назад

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

  • @user-es6hc4qk3t
    @user-es6hc4qk3t 13 дней назад

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

  • @therealmba7642
    @therealmba7642 13 дней назад

    То есть, отличие категории от множества заключается в том, что категория даёт нам некую информацию, объединяющую объекты внутри категории(или информацию, задающую эти объекты)? Можно ли задать категорию "хаотичность свойств внутренних объектов между собой" чтобы получить множество случайных объектов и структур? Или взять пустое множество и сопоставить ему категорию "эквивалентность внутренних объектов пустому множеств"?

    • @molotov_ilya
      @molotov_ilya 13 дней назад

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

  • @usercommon1
    @usercommon1 13 дней назад

    Воооо

  • @konstantius6647
    @konstantius6647 13 дней назад

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

  • @salfadelay2157
    @salfadelay2157 13 дней назад

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