Тёмный

Морфизмы-стрелки и домены // Теория категорий 1.2. 

Илья Молотов
Подписаться 1,5 тыс.
Просмотров 1,7 тыс.
50% 1

Теория категорий 1.2.
Описание преобразований между объектами.
Доп. материалы почитать:
- ncatlab.org/nlab/show/target
- ncatlab.org/nlab/show/domain
отблагодарить/поддержать:
boosty.to/molotov_ilya/donate
В качестве практики:
1. Можно ли операцию с одним объектом представить стрелкой? Как это формально записать и не будет ли противоречия.
2. Можно ли придумать что-то для связи трёх объектов на основе связи отдельных пар.
3. Вспомните придуманные ранее объекты. Каким способом можно построить стрелки между ними? Какие преобразования превращают один объект в другой?
4. Можно ли превратить один объект в другой более чем одним способом? В чём при этом будут отличия или гибкость самого объекта.
5. Можно ли обратить это преобразования?
6. Есть ли структуры в категории между которыми вообще нет стрелок?
7. Задание со звёздочкой. Придумайте некоторые объекты на основе морфизмов, к примеру только стрелок заданных 2мя способами один из которых обратим - и попытайтесь подставить по нему пару структур.
Структура:
00:00 Интро
00:38 Идея
01:49 Теория
07:30 Примеры
09:46 Замечания
10:44 Практика
12:22 Заключение
Ключевые слова:
Теория категорий, стрелки, домены, морфизмы, преобразования.
Использованные в видео картинки:
1. icons8.com/icon/QPMtNJY6smos/...
2. icons8.com/icon/yIgs898MG4Ai/...
3. icons8.com/icon/118377/chat-m...

Опубликовано:

 

19 май 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 21   
@bananchik3125
@bananchik3125 13 дней назад
Покажи в следующем видео пару простых реальных примера решения таких задач как те, что в конце
@molotov_ilya
@molotov_ilya 13 дней назад
Отдельно решения я не буду публиковать. Они больше на подумать. Однако часть вопросов - нужны чтобы навести на размышления, по которым по сути и строится следующее видео. Так что ответ это и есть следующее видео. В остальном можно задавать вопросы в комментариях мне или другим людям.
@bananchik3125
@bananchik3125 13 дней назад
@@molotov_ilya я не говорю про те же самые, сказал про прохожие, чтобы можно было увидеть простое применение теории на такого рода задачах.
@user-wn1dd8ls2u
@user-wn1dd8ls2u 14 дней назад
Вспомнил, что в «мягкой» версии учебника Петерсон в начале 2 части 2 класса как раз вводится тема «Операции», и содержание этого видео в основе как раз оттуда
@molotov_ilya
@molotov_ilya 13 дней назад
Вообще, видео подготовлено по учебникам для 1 класса, это же очевидно. Хотел сначала литературу для дошкольников использовать.
@user-wn1dd8ls2u
@user-wn1dd8ls2u 13 дней назад
@@molotov_ilya если что, я не хотел никого обидеть; просто мне этот учебник и вправду восхищает тем, что уже во втором классе есть параграфы "Операции" и "Обратные операции", то есть математику уже тогда рассказывают на таком достаточно общем уровне. Там как раз во втором уроке есть задание: "Лесорубы спилили дерево. Есть ли у этой операции обратная? Приведи примеры операций, которые не имеют обратных" (да, там буквально есть такое задание).
@Jius-fg5zq
@Jius-fg5zq 12 дней назад
Я во втором классе еле умножал числа((
@humster-
@humster- 14 дней назад
1) предположим мы рассматриваем объекты, как упорядоченные множества. Для Hom(X,X) мы можем взять биективное отображения X ->X, которая не поменяет общую структуру множества, но все элементы перемешаются. Если не биективное, то множество моет сжаться, и это уже будет подмножество => другой объект. 2) возьму житейский пример: мы можем поменять у ручки колпачок. И тогда получим три варианта ручек с синим красным и зеленым колпачком. Эти варианты - объекты категории ручек. И получится структура, где все объекты связаны с всеми. 3) примеры морфизмов в категориях, я приводил 4) несколько преобразований возможны, например, для категории трехмерных объектов построенных в 3д редакторе. Например, куб в шар мы можем превратить путем скульптинга вершин, увеличением количетва вершин, или с помощью удаления куба и добавления шара на сцену. Также допустимо ввести несколько морфизмов между двумя автоматами. Поскольку можно считать, что разные дискретные автоматы являются одним объектом, если они эквивалентны, то есть имеют одинаковое поведения для любых входных данных. Для других категорий, которые я придумывал не особо получается ввести несколько преобразований 5) обращение преобразований допустимо почти для всех привденных под предыдущем видео, для которых я привел преобразования. Разве что с текстом, соответствующем грамматики, такое нельзя будет произвести, ввиду того, что текст можно только увеличивать, но не уменьшать На 6й затрудняюсь ответить
@varuzhansarkisyan5572
@varuzhansarkisyan5572 3 дня назад
Можно ли рассматривать в виде А->В вычисление матрицы корреляции из исходных данных?
@molotov_ilya
@molotov_ilya 2 дня назад
Здесь нужно понимать в какой форме представлены исходные данные. Объекты должны иметь сходную структуру. Коэффициенты корреляции вычисляются не в лоб как умножение матриц, так что если данные представить в матрице или в списке, нужно хитрый оператор придумать. Поэтому я сходу не вижу как связь построить. Если только не предполагать, что мы вообще их всевозможный наборов данных (А) строим связку во всевозможные матрицы корреляции B Возможно если как то в множества объединить произвольные и уже оттуда строить функцию от Х, Y наборов, тогда можно. Но тогда не понятно с какими ещё объектами это можно связывать и зачем было упаковывать всё. Так как итоговый смыл в том, чтобы выделять общие закономерности "с высоты птичьего полёта".
@varuzhansarkisyan5572
@varuzhansarkisyan5572 2 дня назад
@@molotov_ilya спасибо большое за подробный ответ
@_3_774
@_3_774 14 дней назад
1. Конечно, да! и таких отображений n!. n - мощность множества.
@molotov_ilya
@molotov_ilya 13 дней назад
Если во множестве конечный набор элементов
@deadblue6064
@deadblue6064 14 дней назад
1: нет потому что ми должни както поменять обєкт. 2: Да я могу взть пару двоїчних чисел A1 A2 i A3 і установить между ними связь путем смищения числа как например 01 - 10 - 01 ну в нашем случає 001 - 010 -100 - 001
@Jius-fg5zq
@Jius-fg5zq 14 дней назад
1. Наверное можно. Просто это будет тривиальным отображением структуры в себя, которая ничего не делает со структурой. 2. Это как раз и есть композиция двух отображений между тремя обьектами. А вообще чтобы таких путаниц не возникало, нужно более глубже вникать в суть теории категорий, а это значит смотреть 1,5 часовые лекции, и (если вы не особоодаренный) пересматривать чтобы хоть чтото понять. На это не каждый способен
@deadblue6064
@deadblue6064 14 дней назад
@@Jius-fg5zq спасибо за совет
@deadblue6064
@deadblue6064 14 дней назад
@@Jius-fg5zq можите кинуть такую лекцию?
@Jius-fg5zq
@Jius-fg5zq 14 дней назад
@@deadblue6064 ru-vid.com/group/PLvPsfYrGz3wsX3Z5KuuEVYhijDxhKCDDD
@alexanderskusnov5119
@alexanderskusnov5119 13 дней назад
@@deadblue6064 У Бартоша Милевски (есть книга в интернете) и Виталия Брагилевского.
@alexanderskusnov5119
@alexanderskusnov5119 13 дней назад
f: A -> B. А как же функция сложения, у которой результат это продукт двух объектов? - это задача № 7
@molotov_ilya
@molotov_ilya 13 дней назад
Поясните в чём вопрос
Далее
Разговор после 30 -ти 😂
00:20
Просмотров 502 тыс.
KNOCKDOWN Usyk vs Fury
00:32
Просмотров 975 тыс.
Como ela fez isso? 😲
00:12
Просмотров 6 млн
Есть ли у нас свобода воли?
11:19
Просмотров 162 тыс.
Разговор после 30 -ти 😂
00:20
Просмотров 502 тыс.