Исследовательская группа
Лаборатория языковых инструментов
Лемма Йонеды
May 13
В докладе мы вспомним основные понятия теории категорий и дойдем до первого факта, который считается нетривиальным --- леммы Йонеды. Также мы обсудим как её можно попробовать применть и как она выглядит в языке программирования 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
Докладчик: Дмитрий Косарев