Лемма Йонеды. Сложное представление очевидного.
Вставка
- Опубліковано 15 тра 2024
- Видео о теореме-лемме Йонеды, из теории категорий.
Эпизоды:
00:00 Вступление
01:00 Аксиомы теории категорий
02:45 Функторы и стрелки
04:29 Естественные преобразования
05:25 Теорема Йонеды
06:32 Графическое представление
07:20 Упрощённая версия леммы
09:25 Заключение
*на 7ой минуте - ошибка с направлением стрелки А-B. Но запись выше верна, если рассматривать двойственное утверждение (контр- и ко- вариантных функторов)
#материалы:
- ru.wikipedia.org/wiki/Лемма_Й...
- серия статей math3ma - www.math3ma.com/blog/the-yone...
#теориякатегорий #леммайонеда #леммаёнеды - Наука та технологія
Огромное благодарность и поклон автору за действительную популяризацию науки!
Абсолютно суперское видео! Спасибо большое за вашу работу, это было очень интересно!
ничего не понятно но очень интересно
Знания забудутся, впечатления останутся
Насколько я понимаю, это формальное представление изоморфизма как явления?
Отчасти. В данном случае изоморфизм есть между естественными преобразованиями и функторами. Хотя изоморфизмы можно строить и в других конструкциях, т.е. говорить о том что два объекта эквивалентны. На эту тему есть статья про теорию высших топосов на Хабре. Как задавать эквивалентность.
@@molotov_ilyaПонятно. Вообще я только смотрю видосики по математике и теория групп и математические структуры мне кажутся весьма понятными вещами. Это такая философия математики, если так можно выразиться - обобщение обобщений.Жалко толку для меня никакого нет.