The Joy of Abstraction: An introduction to category theory

I 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/0...

I’ll have to try this out.

previous discussion: https://news.ycombinator.com/item?id=33740089

Any examples of Category Theory being used to implement practical software?