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...