Плиско В.Е. - Введение в математическую логику - 11. Элементарные теории
Teach-In
2024-11-14 21:401:22:4350
00:00:11 Предложение о моноидальной категории 00:20:51 Теорема Маклейна о когерентности 01:20:53 Моноидальные функторы Ссылка на плейлист: #математическаялогика
10:57
![Слабое место математики: можно ли доказать всё, что истинно [Veritasium]](https://avatars.dzeninfra.ru/get-zen_doc/271828/pub_66996c0c2d9b641e0b2683a7_66996c129c015076f80b3fff/smart_crop_516x290)
![Как изобретают открывают математику [3Blue1Brown]](https://avatars.dzeninfra.ru/get-zen_doc/271828/pub_67326cb9aeb2fc7311163037_67327c9824a61e2f061a6340/smart_crop_516x290)
