Hacker News
- Category Theory for Computing Science http://www.math.mcgill.ca/triples/barr-wells-ctcs.pdf 16 comments haskell
- Category Theory for Computing Science http://www.math.mcgill.ca/triples/barr-wells-ctcs.pdf 9 comments compsci
- A fantastic overview of applications of category theory to computing science http://www-cse.ucsd.edu/users/goguen/pps/manif.ps 23 comments programming
- Computation and Category Theory. "In a recent talk, David Spivak, my advisor at Topos Institute, described Poly as “the language of computation”, due to its facility in describing concepts in computer science such as data migration, dependent types, and Turing machines." https://topos.site/blog/2022/08/computation-and-category-theory/ 18 comments compsci
- [video, ~25min] Applied Category Theory - The Emerging Science of Compositionality. "What do programming, quantum physics, chemistry, neuroscience, systems biology, natural language parsing, causality, network theory, game theory, dynamical systems and database theory have in common?" https://www.youtube.com/watch?v=iwvl0tBJhoM 6 comments math
Lambda the Ultimate
- Applied Category Theory - The Emerging Science of Compositionality https://www.youtube.com/watch?v=iwvl0tBJhoM 11 comments Category Theory , Paradigms , Spotlight
- Category Theory and Computer Science (CTCS'04) http://www.itu.dk/research/theory/ctcs2004/accepted.html 4 comments Category Theory