4 ms·
The Joy of Abstraction: An introduction to category theory
- donbox 4y agoprevious discussion: https://news.ycombinator.com/item?id=33740089 https://news.ycombinator.com/item?id=33740089
- bspammer 4y agoI really enjoyed this talk from the author, as someone who has a casual interest in category theory https://youtu.be/https://johncarlosbaez.wordpress.com/2023/02/11/the-joy-of-abstraction/ho7oagHeqNc https://youtu.be/https://johncarlosbaez.wordpress.com/2023/0... I’ll have to try this out.
- bspammer 4y agoMy phone seems to have mangled the link: https://www.youtube.com/watch?v=ho7oagHeqNc https://www.youtube.com/watch?v=ho7oagHeqNc
- deleted 4y ago[deleted]
- deterministic 4y agoAny examples of Category Theory being used to implement practical software?