- 22
- 29 974
Илья Молотов
Russia
Registrace 9. 04. 2020
Личный блог
Изоморфизм. Как создаётся равенство? // Теория категорий 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 Заключение
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í 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
схема рефлексивного субъекта В.Лефевр.
спасибо за видео!
Спасибо Вам за видео!
Ты удалил свой Telegram канал? Если да, то почему?
Да. Сейчас он бесполезен.
Ну слава Богу
А я думал, что ты уже пропал. Рад видеть. Комментарий в продвижение
в квантмехе есть обознаения типа <a|b> что помню |b> это вектор в гильбертовом пространстве, <a| - ковектор, и вектор называют состоянием квантовой системы, ковектор взаимодействием, нам никогда не объясняли почему, если сможете - расскажите
это бра и кет "векторы". Первый <a| можно считать функционалом действующим на вектор, а второй тем на что действуют. Хотя тут получается, что всякий вектор это одновременно и то, на что действуют и то, что само действует. Вроде как что относительно чего вычисляем.
Отличное интуитивно понятное изложения. Огромное спасибо.
Будьте моим преподавателем по алгебре, пожалуйста! Я наконец-то начал хорошо понимать теорию групп, когда мы спустились на уровень ввше.
@hellsbook3911 Можете написать в тг, обсудим @molotov_ilya
Про «кластеры» классический пример - это категория полей. Между полями разной характеристики не существует морфизмов (полей). При вложении единица будет "наследоваться", поэтому поля разной характеристики не могут взаимодействовать
Можно ли рассматривать в виде А->В вычисление матрицы корреляции из исходных данных?
Здесь нужно понимать в какой форме представлены исходные данные. Объекты должны иметь сходную структуру. Коэффициенты корреляции вычисляются не в лоб как умножение матриц, так что если данные представить в матрице или в списке, нужно хитрый оператор придумать. Поэтому я сходу не вижу как связь построить. Если только не предполагать, что мы вообще их всевозможный наборов данных (А) строим связку во всевозможные матрицы корреляции B Возможно если как то в множества объединить произвольные и уже оттуда строить функцию от Х, Y наборов, тогда можно. Но тогда не понятно с какими ещё объектами это можно связывать и зачем было упаковывать всё. Так как итоговый смыл в том, чтобы выделять общие закономерности "с высоты птичьего полёта".
@@molotov_ilya спасибо большое за подробный ответ
Жги
Возможно ли создание высших категорий из поликатегорий? Проводить из списка стрелок стрелку к другому списку стрелок.
Возможно, но с кучей дополнительных оговорок в очень ограниченных случаях. Так как в каждой конструкции свои ограничения. Это как топором суп есть. Лучше использовать нужное для нужного. Хотя думаю именно с таких вопросов кто-то впервые придумал моноидальные категории. Пока лучше в это сильно не погружаться, там глубокая кроличья нора в страну чудес.
Можно ли считать поликатегорией троичную логику? Там присутствуют операции составляющие двум элементам один, например выбор принимает на вход два значения и возвращает + при совпадении и - при несовпадении.
Не знаю. Лучше такое классификатором подобъектов делать в обычной категории. В целом можно попробовать, но нужно проверять свойства.
Большое спасибо ❤ Философски очень интересная теория, честно говоря в области философии сознания не вижу ей достойных конкурентов сегодня. А Вы? Ещё, похоже, что теория хорошо соотносится с теорией гиперсетевой модели мозга "когнитом" Анохина. Перекликается с буддискими/индуисткими идеями причинности, кармы. Хорошо согласуется с тем, что мы видим в развитии нейронок. В общем, не спроста такая популярная теория. Кажется что все её слабости со временем отшлифуются и со временем это надолго станет основной теорией сознания. Единственный затык на её пути мне видится в её математичности, из-за теоремы Гёделя о неполноте. Но, наверное, это даже не то, чтобы исключительно её слабость. Интересно знать, что Вы думаете об этом?
Философски это слабая теория. У неё есть ряд интересных соображений по тому, как критерии работы сетей описывать. С когнитомом Анохина согласуется постольку поскольку и там и там говорят про сети, хотя модель К.В. Анохина думаю идёт своим путём. Вычислительные слабости скорее всего переделают со временем, философские нет. Про теорему Гёделя - тут не понятно причём, если не говорить о общих вычислительных сложностях в формальных системах. Тут скорее надо ставить вопрос, что упускается , когда мы описываем мозг только сетевыми моделями и забываем многие сторонние факторы.
@@molotov_ilya интересно, какие слабости? Реально хочу узнать, буду очень благодарен, можно тезисно, инфы мало, либо я не нахожу. Слышал был какой-то скандал с ней полгода назад.
@@iuxdhninhd3iucdwcefrw4rfvc19 основная проблема, что всякая научная теория опирается на физикализм и структурализм для исследования тех или иных явлений. В то время как есть проблема дуализма свойств, которая выходит за рамки наблюдаемого мира в мир не наблюдаемый. Область где научная методология на данный момент говорит лишь о корреляциях с физическими явлениями. В рамках же этой теории автор вводит аксиомы постулирующих сознание через физические структуры. Это не решает "mind-brain problem" / трудной проблемы сознания. Это введение новой "онтологии", того как устроен мир, но такие заявления требуют философского анализа, а не научного. Он говорит с позиции неких функциональных систем, пытаясь говорить от наука, не объясняя зачем вообще необходимо сознание. В связи с этим в недавнем времени часть учёных писали некоторое письмо или петицию о сомнительности утверждений Дж.Тонони. Проблема как я думаю в том что неплохую функциональную теорию, которая описывает корреляция сознательной активности - автор изначально представил через призму феноменологии, в то время как "аксиомы" теории было бы логичнее поместить в выводы как корреляты психической активности. В остальном миленькая модель.
@@molotov_ilya большое спасибо за ответ. Конечно, я лично, не могу быть уверен вообще в существовании трудной проблемы, да и вообще феноменологического сознания и дуализма. Всегда представлялось, что я и есть мой мозг, я и есть моё тело, я и есть мой опыт, я и есть квалиа, всё это тождественно. Тогда и вопрос о существования квалиа, стоит задавать иначе, не "а существует ли квалиа?", а, скорей, "а существует ли хоть что-то, что нельзя назвать квалиа?". Кажется, что чтобы почувствовать что угодно, нужно быть этой самой системой, нейросетью, травой, грибницей, бактерией, вирусом, социальной группой, колонией термитов и т.д. Тогда отпадает какой-то дуализм, материя(которая для пристального наблюдателя по сути информационный код, чистая математика) и сознание друг-друга не порождают, а буквально материя это сознание, а сознание это материя. Никогда не понимал, зачем в философии многие проводят тут такую черту, как по мне, это из-за интуитивного восприятия пространства и врождённого эгоцентризма, антропоцентризма и исторически так сложилось. На вот такое моё субъективное мироощущение, пока ложится только ТИИ, хотя я довольно мало знаю, про разные теории сознания, может есть что-то более согласующееся с моим ощущением, а может быть и эта не согласуется? Очень интересно с Вами разговаривать! В моём окружении нет собеседников на такие темы, да и в сети совсем их немного, а темы философии сознания, философии математики и футурологии, для меня самые волнующие.
Есть несколько вопросов которые можно обдумать. Вы применяете слово "существовать", но что именно обеспечивает это существование - нетривиально. Причём как для субъективных, так и общедоступных "объектов". Я соглашусь, что всё, что нам дано - это субъективный опыт, в том числе объективная реальность. Тут скорее вопрос - зачем в таком случае мы имеем внутренний опыт, то, что приватно. Можно было бы сказать, что это то, что присуще системе по внутренним взаимодействиям, но это объяснение с позиции третьего лица, когда мы уже имеем структуру. Мы можем предполагать, что "там" (внутри этой системы) есть какое-то квалиа, но это лишь предположение. Мы не можем понять какого быть летучей мышью или ощутить опыт другого человека. Более того, может быть только у одного вас во вселенной есть это чувство самосознания, а все вокруг говорят заученные фразы, но внутри ничего не испытывают. Из того, что системы имеют внутреннее физическое взаимодействие никак не следует что в них должен быть "внутренний опыт". Размышляя над всем этим я прихожу к идее, что нужно думать не о субъективном и объективном, или о физическом и духовном. Главный вопрос - что значит существовать. Как вообще возникают формы и как они наблюдаются "субъектами". Как у этих субъектов возникают категории "пространства, времени, возможности и т.д....". Как субъект осознаёт себя субъектом - т.е. формирует собственное "существование". И на этот вопрос нельзя ответить в рамках существующей "науки", что бы не имелось ввиду под этим словом. Это не делает науку плохой. Просто, как я писал выше, наука имеет чёткую натуралистическую позицию, что мир физический и всё физическое. Следовательно и сознание - следствие физического, структурного набора процессов. Я считаю это определённой философской парадигмой. Плюс не считаю, что только "философия" нас всех спасёт. Полагаю, что учёные-экспериментаторы в ходе постепенных экспериментов с AI и мозгом - найдут интересные феномены и тогда уже их практики можно будет говорить о философии сознания. Многие уже открытые вещи в СТО, ОТО, квантовой физике и теории поля, до сих пор трактуются по типу "а волна или частица, хммм", хотя это снятый вопрос. Так чего ожидать от открытий в области нейробиологии, которые только только формируются. Если всё упростить до одного мысленного эксперимента - представьте, что весь мир вокруг вас - сверхинтеллект из нано-роботов, которые создали весь этот мир, чтобы понять, о каком таком "сознании" говорили люди. Каждый листик и травинка - всё это такая "матрица", а сознание есть только у вас, у последнего человека на земле. Как тогда понять, что сознание есть у всего этого физического мира.
4:29 красная стрелка - она в одну сторону. Это что-нибудь означает?
Если про стрелку над функциями - то это обозначение порядка слева направо. Как правило композицию функций пишут наоборот.
@@molotov_ilya Нет, я про красную стрелку между А и А. Пом чему она односторонняя?
@@khachaturmaghakyan3980 стрелки всегда односторонние. В практике я предложил рассмотреть как раз - можно ли её обернуть в противоположную сторону.
@@molotov_ilya ок, спс.
браво
Комментарий в Продвижение. Надо написать восемь слов, поэтому комментарий такой длинный
1). Нога, рука, голова, палец - части тела. 2). Война и мир Толстого, Государство Платона, Приключения Математика Станислава Улама, Все Рушится Чинуа Ачебе - книги. 3). Топор, носок, честь, пустота - несвязанные вещи. 4). Топор, носок, честь, пустота - слова. 5). 1, 2, 3, 4, 5 - какие-то закарючки.
Сначала не понял почему вычитание, деление, степень не чувствительны к порядку. А потом как понял)
Спасибо за видео, очень интересно! Хотелось бы продолжения по этой теме с применением в дифференциальной геометрии, теории многообразий или физике)
1. Каждый элемент может перейти в один из N элементов независимо от других, значит для одного количество вариантов N, для двух N*N, а для N - N^N. 2. Такие отображения называются инволюциями вроде. Навскидку это любая перестановка с циклами длины не более 2. Для трёх элементов я насчитал 4 таких перестановки: 123, 213, 321, 132. Общую формулу для N так сходу не нашел :-( 3. Просто любая неинволютивная перестановка и обратная ей, например: 231 и 312.
В 2м вы привели циклы длинны 3, если я правильно помню. По Кострикину, цикл длинны 2 обозначить можно (12). Цикл длинны 3 - (123) Тогда для 3х элементов это будет 3 перестановки (12), (13),(23).
Также в 2м (213), (321) и (132) эквивалентны. Это можно увидеть по тому, что в что переходит
27 эндоморфизмов?
на 3х элементном мн-ве. И n^n эндоморфизмов на n-элементном множестве
Спасибо большое за труд! Надеюсь, серия продолжится дальше, потому что видел несколько введений в теорию категорий, где давались только базовые определения, общие слова типа "в теории категорий нас интересуют не сами объекты, а взаимоотношения между ними" и пару примеров категорий. Такие введения, кмк, на самом деле особо ничего не дают, почти как hello world в программировании :) Будет классно, если вы дойдете до естественных преобразований и универсальных конструкций, снабдив это несколькими примерами, как вы сделали здесь.
Теория меры вошла в чат
Буду ли я прав, если скажу, что базис отображений для графа из 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 ? Вообще ролики крутые, давно хотелось узнать про теорию категорий хотя бы на базовом уровне
с первого взгляда верно.
Почему при A->B->C. f(A)=B, g(B)=C. композицию h(A)=C, записывают как h=gf, а не fg. Вероятно принято, что стоит ближе* к функции первым действует?
Вы правы. g - выступает как внешняя функция поэтому её записывают левее. Мы как бы опустили g(f(x)).
В Вашем курсе будут затронуты string diagrams?
Так далеко не планировал. Поэтому вероятность 50/50. Вообще, хорошая идея в рамках прикладной теории категорий их обсудить. Может даже отдельным плейлистом. Но это не скоро будет.
@@molotov_ilya Спасибо за ответ.
Так и до теории гомотопий недалеко))
Крутое объяснение. А есть ли что-то такое почитать, чтобы проникнуться и вдохновиться Математикой как таковой? Я слышал, что вроде бы у Ферма был фундаментальный труд по математике. Но не уверен.
Лучше како-нибудь журнал "Квант" советский. Сейчас много каналов на YT, тот же 3b1b. Хотя многие на английском, но можно смотреть с переводом.
Спасибо вам, продолжайте пожалуйста
Проубессмысленная математическая супераюстракция для интеллектуального удовольствия? Чёрт возьми, да это круче, чем бледные руки в средние века! Звучит чертовски охрененно! Автору респект, очень жду)
Покажи в следующем видео пару простых реальных примера решения таких задач как те, что в конце
Отдельно решения я не буду публиковать. Они больше на подумать. Однако часть вопросов - нужны чтобы навести на размышления, по которым по сути и строится следующее видео. Так что ответ это и есть следующее видео. В остальном можно задавать вопросы в комментариях мне или другим людям.
@@molotov_ilya я не говорю про те же самые, сказал про прохожие, чтобы можно было увидеть простое применение теории на такого рода задачах.
f: A -> B. А как же функция сложения, у которой результат это продукт двух объектов? - это задача № 7
Поясните в чём вопрос
Спасибо за видео! На мой взгляд, интересная картина тут представлена
1. Конечно, да! и таких отображений n!. n - мощность множества.
Если во множестве конечный набор элементов
Спасибо, это очень интересно
Краткое изложение Аристотеля, поехали
1) предположим мы рассматриваем объекты, как упорядоченные множества. Для Hom(X,X) мы можем взять биективное отображения X ->X, которая не поменяет общую структуру множества, но все элементы перемешаются. Если не биективное, то множество моет сжаться, и это уже будет подмножество => другой объект. 2) возьму житейский пример: мы можем поменять у ручки колпачок. И тогда получим три варианта ручек с синим красным и зеленым колпачком. Эти варианты - объекты категории ручек. И получится структура, где все объекты связаны с всеми. 3) примеры морфизмов в категориях, я приводил 4) несколько преобразований возможны, например, для категории трехмерных объектов построенных в 3д редакторе. Например, куб в шар мы можем превратить путем скульптинга вершин, увеличением количетва вершин, или с помощью удаления куба и добавления шара на сцену. Также допустимо ввести несколько морфизмов между двумя автоматами. Поскольку можно считать, что разные дискретные автоматы являются одним объектом, если они эквивалентны, то есть имеют одинаковое поведения для любых входных данных. Для других категорий, которые я придумывал не особо получается ввести несколько преобразований 5) обращение преобразований допустимо почти для всех привденных под предыдущем видео, для которых я привел преобразования. Разве что с текстом, соответствующем грамматики, такое нельзя будет произвести, ввиду того, что текст можно только увеличивать, но не уменьшать На 6й затрудняюсь ответить
Спасибо! Делай еще!
Вспомнил, что в «мягкой» версии учебника Петерсон в начале 2 части 2 класса как раз вводится тема «Операции», и содержание этого видео в основе как раз оттуда
Вообще, видео подготовлено по учебникам для 1 класса, это же очевидно. Хотел сначала литературу для дошкольников использовать.
@@molotov_ilya если что, я не хотел никого обидеть; просто мне этот учебник и вправду восхищает тем, что уже во втором классе есть параграфы "Операции" и "Обратные операции", то есть математику уже тогда рассказывают на таком достаточно общем уровне. Там как раз во втором уроке есть задание: "Лесорубы спилили дерево. Есть ли у этой операции обратная? Приведи примеры операций, которые не имеют обратных" (да, там буквально есть такое задание).
Я во втором классе еле умножал числа((
Подумал и придумал несколько примеров категорий: - категория графов(ориентированных/неориентированных и других). Не знаю обязательно ли вводить условие, что они должны состоять из одинакового количества вершин, но наверно стоит. - из категории графов строится категория дискретных автоматов - категория всех огнестрельных орудий, которые можно получить модернизацией одного. Тут вспоминаются компьютерные игры с кучей возможных модификаторов. - Ну или просто категория объектов, которые могут получится из исходного последовательностью модернизаций. - Категория всех возможных 3д(векторных 2д) объектов, построенных в чертежной программе или программе 3д моделирования. Преобразования - соответственно набор(последовательность) преобразований, которые необходимы, чтобы один объект перевести в другой. Далее приведу некоторые сложные в построении и представлении категории(если таковыми можно считать) - трансцендентные числа. Не совсем уверен в корректности, но вроде как можно задать категорию почти над любым множеством. Ведь так? - неизмеримые по Лебегу множества в R^n. Тоже, очень стремный набор. Измеримые вроде являются множеством. Неизмеримые вроде тоже... - категория всех возможных программ, соответствующих заданной грамматике. Преобразования - дописывание программы в соответствии с грамматикой.(самое реальное из сложных) Скорее всего в первой части привел более-менее корректные примеры, а в второй просто попытался сделать страшную конструкцию.
С числами всё хорошо, пока есть ассоциативность, тождественный элемент и композиция. Можно ли придумать композиции трансцендентных которые всегда будут оставлять их таковыми , это вопрос.
Здравствуйте Илья! Думал, что число может стать строкой, да, но вот как строка может стать числом? И вы представляете! Вспомнил, что буквально вчера утром, я хотел поблагодарить одного очень хорошего человека, и так как я изучаю математику, я сделал ей красивую картинку - "Спасибо", в степени бесконечность)
У меня культурный шок... Почему теория множеств - полумёртвая?!
То, что она полумёртвая это не плохо. Это значит, что всё уже о ней сказано, найдены все слабые и сильные стороны. Как земля под ногами - ресурс - только использовать в дело. Теперь нужно двигаться дальше, а не молиться на один единственный поход. Задаться вопросом - так ли очевидны наши интуиции.
@@molotov_ilya ну ок, это имеет смысл
Домашняя работа: Рассмотрим категорию стен в квартире. Там содержатся: стены с желтыми обоями, стены с зелёными обоями, стены с плиткой, стены крашеные масляной краской. В качестве отображения рассмотрим такое отображение этих объектов, которое может произвести обычный человек (не мастер ремонта): он может сменить одни обои надругие, содрать обои и покрасить стену (причем обратное не верно. Если стена покрашена, то простой человек ничего с ней сделать не может. Я когда ремонт делал понял, что ее ничем не содрать: ни шпателем, ни болгаркой, ни растворителем) точно также он не может перевести стену с плиткой в другую стену и обратно. Тут надо быть плиточником. И того получаем отображение: стена с обоями любого цвета -> стена с обоями любого цвета или крашенная; крашенная, плиточная отображаются только сами в себя.
Класс) Сам недавно делал ремон)
Интересно, а есть ли категория всех категорий и будет ли она экстраординарной, т.е. содержать саму себя?
Изначально тут всё сводится к парадоксу Рассела. Когда мы говорим о совокупности объектов Категории - рассматривается класс, а не множество. (Если подходить к рассмотрению через множества). Чтобы не сталкиваться с парадоксами рассматривают только категорию малых категорий. Она не является своим представителем, т.е. малой категорией. Я запишу об этом видео попозже. Спасибо за идею.
@@molotov_ilya, если правильно помню, то как раз переходя к классам, а не рассматривая множества, можно задавать такие "категории категорий" и даже морфизмы можно спокойно определить, как отображения между категориями. Но да, для простоты можно их опускать(наверно)
@@humster- главное не забывать упоминать если с такими штуками работаем. Хотя это почти никогда не случается. Поэтому на время забудем.
Спасибо за видео. Если взять например самокат, мотоцикл, автомобиль, самолёт, ракета сказать что это всё разные виды транспорта и попросить между ними прогрессию скорости то можно ли это считать категорией?
Про скорость не совсем понял. Как вариант, можно упорядочить по их скорости. Будет категория порядка как частично упорядоченное множество.
дааа давай давай урааааа
Воооо
Случайно натолкнулся на канал и рад этому. :)
потрясающе! очень ждем!