Approaching the Yoneda Lemma • Attila Egri-Nagy • YOW! 2019
This presentation was recorded at YOW! 2019. #GOTOcon #YOW
Attila Egri-Nagy - Software Engineer Disguised as Maths Professor @egri-nagy
RESOURCES
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 •
Rebecca Skinner • Effective Haskell •
Graham Hutton • Programming in Haskell •
John Whitington • Haskell from the Very Beginning •
#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
Sign up for updates and specials at
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
1 view
0
0
6 days ago 00:05:22 1
Easy Google Maps Scraper | Got 30,000 B2B Leads from Google Maps TODAY!
7 days ago 00:05:07 1
Is Yield Farming the FUTURE of Investing? Here’s What You Need to Know!
2 weeks ago 00:00:32 1
…but the people are retarded
2 weeks ago 00:05:32 1
Queen - Bohemian Rhapsody (Live at Rock Montreal, 1981) [HD]
2 weeks ago 00:04:49 1
Play To Earn🔥This New Play to Earn Game is About to Make a Lot of People RICH
2 weeks ago 00:13:15 1
BREAKING: MASS EXODUS Of Soldiers Rock IDF After BLOODIEST DAY EVER in Lebanon
2 weeks ago 00:37:34 1
Chorallas - Desert Lambs (1969) [Full Album]
3 weeks ago 00:07:23 1
Как самостоятельно улучшить работу желчного пузыря.
3 weeks ago 00:11:19 1
10 Integrative Approaches in Plastic Surgery | Episode 10 of SurgiMind Podcast | Plastic Surgery
3 weeks ago 00:52:53 1
Insane futuristic Metal & Electro Music Mix
3 weeks ago 00:03:10 1
The Cutaway - So Far Down
4 weeks ago 00:04:19 1
The Fox | Historical Documentary Constructor
4 weeks ago 00:01:43 1
Heavy Metal - The Zombies Are Coming - 1950’s Super Panavision 70
1 month ago 00:01:29 1
Baby Arctic Fox Steals Mans Fish
1 month ago 02:44:47 1
Best of Debussy - Classical Music Gems
1 month ago 00:13:40 1
Why Didn’t I Know This Sooner! This 60-Year-Old Plumber’s Brilliant Idea Will Save You Millions
1 month ago 00:03:41 1
Wild Irish Boy | An Irish-American Immigrant Folk Song
1 month ago 00:10:45 1
Iran Strikes Back At The US Over Israel Attack!
1 month ago 00:07:33 1
Jeep Avenger 4xe The North Face Edition - NON PLUG-IN AWD