Jeremy Gibbons - What You Needa Know About Yoneda | Code Mesh LDN 19

  Рет қаралды 2,334

Code Sync

Code Sync

Күн бұрын

Пікірлер: 2
@drxyd
@drxyd 3 ай бұрын
This is my tenth time learning the yoneda lemma. Emily Riehl has a great example using matrices.
@dupersuper1000
@dupersuper1000 5 жыл бұрын
What an excellent explanation! Thanks!
Abeba Birhane - In defence of uncertainty | Code Mesh LDN 19
42:43
Abeba Birhane - In defence of uncertainty | Code Mesh LDN 19
Code Sync
Рет қаралды 916
The Return of Procedural Programming - Richard Feldman
52:53
The Return of Procedural Programming - Richard Feldman
ChariotSolutions
Рет қаралды 62 М.
When you lose control of your Waboba Moon Ball. @TheWabobaTeam #wabobapartner
00:42
When you lose control of your Waboba Moon Ball. @TheWabobaTeam #wabobapartner
Daniel LaBelle
Рет қаралды 150 МЛН
My scorpion was taken away from me 😢
00:55
My scorpion was taken away from me 😢
TyphoonFast 5
Рет қаралды 2,7 МЛН
She made herself an ear of corn from his marmalade candies🌽🌽🌽
00:38
She made herself an ear of corn from his marmalade candies🌽🌽🌽
Valja & Maxim Family
Рет қаралды 18 МЛН
Что будет если украсть в магазине шоколадку 🍫
00:39
Что будет если украсть в магазине шоколадку 🍫
Miracle
Рет қаралды 3,2 МЛН
Trump Goes A-Conquerin' || Peter Zeihan
13:26
Trump Goes A-Conquerin' || Peter Zeihan
Zeihan on Geopolitics
Рет қаралды 452 М.
Let’s Go on an Adventure! - Nicholas Scheurich | ElixirConf EU 2024
29:39
Let’s Go on an Adventure! - Nicholas Scheurich | ElixirConf EU 2024
Code Sync
Рет қаралды 519
How philosophy got lost | Slavoj Žižek interview
35:57
How philosophy got lost | Slavoj Žižek interview
The Institute of Art and Ideas
Рет қаралды 499 М.
Jim Keller: Moore's Law, Microprocessors, and First Principles | Lex Fridman Podcast #70
1:34:44
Jim Keller: Moore's Law, Microprocessors, and First Principles | Lex Fridman Podcast #70
Lex Fridman
Рет қаралды 649 М.
Darts in Higher Dimensions (with 3blue1brown) - Numberphile
32:11
Darts in Higher Dimensions (with 3blue1brown) - Numberphile
Numberphile
Рет қаралды 2 МЛН
AT&T Archives: The UNIX Operating System
27:27
AT&T Archives: The UNIX Operating System
AT&T Tech Channel
Рет қаралды 2 МЛН
Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
1:45:56
Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
Lex Fridman
Рет қаралды 415 М.
Lustre Universal Components: the best of Elm and Phoenix LiveView - H. Thompson | Lambda Days 2024
39:38
Lustre Universal Components: the best of Elm and Phoenix LiveView - H. Thompson | Lambda Days 2024
Code Sync
Рет қаралды 1 М.
Rant: Entity systems and the Rust borrow checker ... or something.
1:01:51
Rant: Entity systems and the Rust borrow checker ... or something.
Jonathan Blow
Рет қаралды 243 М.
The Keys to Mastery
18:36
The Keys to Mastery
Robert Greene
Рет қаралды 43 М.
When you lose control of your Waboba Moon Ball. @TheWabobaTeam #wabobapartner
00:42
When you lose control of your Waboba Moon Ball. @TheWabobaTeam #wabobapartner
Daniel LaBelle
Рет қаралды 150 МЛН