Лемма Йонеды. Сложное представление очевидного.

Подписаться 1,5 тыс.

Просмотров 1 тыс.

50% 1

Видео о теореме-лемме Йонеды, из теории категорий.
отблагодарить/поддержать:
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...
#теориякатегорий #леммайонеда #леммаёнеды

Наука

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

24 май 2024

Ссылка:

Скачать:

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

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 6

@therealmba7642 Месяц назад

Огромное благодарность и поклон автору за действительную популяризацию науки!

@hellsbook3911 8 часов назад

Будьте моим преподавателем по алгебре, пожалуйста! Я наконец-то начал хорошо понимать теорию групп, когда мы спустились на уровень ввше.

@molotov_ilya 8 часов назад

@hellsbook3911 Можете написать в тг, обсудим @molotov_ilya

@user-yx1sn5ey8f Месяц назад

Насколько я понимаю, это формальное представление изоморфизма как явления?

@molotov_ilya Месяц назад

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

@user-yx1sn5ey8f Месяц назад

@@molotov_ilyaПонятно. Вообще я только смотрю видосики по математике и теория групп и математические структуры мне кажутся весьма понятными вещами. Это такая философия математики, если так можно выразиться - обобщение обобщений.Жалко толку для меня никакого нет.