Лекции по прикладной теории категорий в MIT от Дэвида Спивака и Брендана Фонга:
https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5
Материал лекций основан на замечательной книге Seven Sketches in Compositionality.
Post #755
18
Forwarded from dd if=/dev/stuff of=/dev/tg