Лемма Йонеды. Сложное представление очевидного.
ฝัง
- เผยแพร่เมื่อ 4 มิ.ย. 2024
- Видео о теореме-лемме Йонеды, из теории категорий.
отблагодарить/поддержать:
boosty.to/molotov_ilya/donate
Структура:
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...
#теориякатегорий #леммайонеда #леммаёнеды - วิทยาศาสตร์และเทคโนโลยี
Огромное благодарность и поклон автору за действительную популяризацию науки!
Будьте моим преподавателем по алгебре, пожалуйста!
Я наконец-то начал хорошо понимать теорию групп, когда мы спустились на уровень ввше.
@hellsbook3911
Можете написать в тг, обсудим @molotov_ilya
Насколько я понимаю, это формальное представление изоморфизма как явления?
Отчасти. В данном случае изоморфизм есть между естественными преобразованиями и функторами. Хотя изоморфизмы можно строить и в других конструкциях, т.е. говорить о том что два объекта эквивалентны. На эту тему есть статья про теорию высших топосов на Хабре. Как задавать эквивалентность.
@@molotov_ilyaПонятно. Вообще я только смотрю видосики по математике и теория групп и математические структуры мне кажутся весьма понятными вещами. Это такая философия математики, если так можно выразиться - обобщение обобщений.Жалко толку для меня никакого нет.