Что такое...лемма Йонеды?

Цель.
Интуитивно объяснить основные понятия теории категорий.

На этот раз.
Что такое... лемма Йонеды? Или: стрелять на поражение.

Отказ от ответственности.
Никто не идеален, и я, возможно, сказал что-то глупое. Если есть какие-либо сомнения, пожалуйста, проверьте ссылки.

Отказ от ответственности.
Различие между «большими классами» и «малыми классами (множествами)» оказывается решающим для многих категориальных рассуждений, но каким-то образом делает язык более громоздким, не принося при этом особой пользы, на мой взгляд. Поэтому я стратегически проигнорирую все вопросы теории множеств.

Слайды.

http://www.dtubbenhauer.com/youtube.html

Сайт с упражнениями.
http://www.dtubbenhauer.com/lecture-c...

Лемма Йонеды.
https://en.wikipedia.org/wiki/Yoneda_...
https://ncatlab.org/nlab/show/Yoneda+...
https://www.math3ma.com/blog/the-yone...

Вложение Йонеды.
https://en.wikipedia.org/wiki/Yoneda_...
https://ncatlab.org/nlab/show/Yoneda+...

Эксперимент с золотой фольгой.
https://en.wikipedia.org/wiki/Geiger%...
https://en.wikipedia.org/wiki/Rutherf...

Использованные изображения.
https://useruploads.socratic.org/ZRKf...
https://uploads-ssl.webflow.com/5b1d4...
https://upload s-ssl.webflow.com/5b1d427ae0c922e912eda447/5b58b7da767dc70860ab5ef9_1bijection.jpg
https://uploads-ssl.webflow.com/5b1d4...

Некоторые книги, которыми я пользуюсь (иногда я краду оттуда картинки).
https://en.wikipedia.org/wiki/Категор...
https://www.cambridge.org/core/books/...
http://www.tac.mta.ca/tac/reprints/ar...
https://math.mit.edu/~dspivak/teachin...
https://math.jhu.edu/~eriehl/context.pdf
https://github.com/hmemcpy/milewski-c...

Nlab.
https://ncatlab.org/nlab/show/HomePage

TheCatsters.
   / @thecatsters  

Mathematica.
https://wildcatsformma.wordpress.com/

#теориякатегорий
#категориальнаяалгебра
#математика