Approaching the Yoneda Lemma • Attila Egri-Nagy • YOW! 2019 скачать в хорошем качестве

Approaching the Yoneda Lemma • Attila Egri-Nagy • YOW! 2019

This presentation was recorded at YOW! 2019. #GOTOcon #YOW https://yowcon.com Attila Egri-Nagy - Software Engineer Disguised as Maths Professor ‪@egri-nagy‬ RESOURCES   / attila-egri-nagy   https://github.com/egri-nagy ABSTRACT The #Yoneda lemma is not the first thing to learn in #CategoryTheory, but sooner or later it appears in studying the field. Unfortunately, there is quite a gap between the intuitive idea, "tell me your friends, and I will know who you are" , and its precise formulation. This talk aims to bridge this gap by introducing algebraic results in the middle, namely #Cayley's theorem for groups and its generalization to semigroups. These are elementary enough, but at the same time they exhibit the conceptual step of representability, and the idea of studying all different things in a familiar form.? [...] RECOMMENDED BOOKS Vitaly Bragilevsky • Haskell in Depth • https://amzn.to/3EXpmbe Rebecca Skinner • Effective Haskell • https://amzn.to/3VgUKsh Graham Hutton • Programming in Haskell • https://amzn.to/3Fi8rBC John Whitington • Haskell from the Very Beginning • https://amzn.to/3VmX68R   / gotocon     / goto-     / goto_con     / gotoconferences   #YonedaLemma #CayleyTheorem #AttilaEgriNagy #FunctionalProgramming #Maths #Mathematics #SoftwareEngineering #Programming #YOWcon Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConf...