Лаборатория языковых инструментов

В докладе мы вспомним основные понятия теории категорий и дойдем до первого факта, который считается нетривиальным --- леммы Йонеды. Также мы обсудим как её можно попробовать применть и как она выглядит в языке программирования Haskell.

Материалы к докладу:

1) What You Needa Know about Yoneda by GUILLAUME BOISSEAU & JEREMY GIBBONS

https://www.cs.ox.ac.uk/jeremy.gibbons/publications/proyo.pdf

2) Tom Leinster. 2000. The Yoneda Lemma: What’s It All About? (Oct. 2000).

http://www.maths.ed.ac.uk/~tl/categories/yoneda.ps

3) https://ncatlab.org/nlab/show/Yoneda+lemma

Докладчик: Дмитрий Косарев