Programming with Categories - Lecture 0 Share: Download MP3 Similar Tracks Programming with Categories - Lecture 1 Topos Institute A Crash Course in Category Theory - Bartosz Milewski ScalaIO FR Category Theory, The essence of interface-based design - Erik Meijer FooCafe Category Theory for the Working Hacker by Philip Wadler Lambda World Programming with Categories - Lecture 2 Topos Institute 2025 MIT Integration Bee - Regular Season MIT Integration Bee Functional Programming & Haskell - Computerphile Computerphile F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory. SPACE [Oxford Seminar] Matthew Daggit | Developing support for end-to-end verification of neural AI agents Topos Institute MIT 6.S184: Flow Matching and Diffusion Models - Lecture 06 - Diffusion for Protein Generation Peter Holderrieth Think Fast, Talk Smart: Communication Techniques Stanford Graduate School of Business Lambda World 2019 - A categorical view of computational effects - Emily Riehl Lambda World David Spivak - Category Theory - Part 1 of 6 - λC 2017 LambdaConf Programming with Categories - Lecture 3 Topos Institute Deep Learning Day: Reasoning MIT Schwarzman College of Computing Brian Beckman: Don't fear the Monad jasonofthel33t [Berkeley Seminar] Kevin Carlson | Does it matter whether there are infinite sets? Topos Institute "Categories for the Working Hacker" by Philip Wadler Strange Loop Conference A Sensible Introduction to Category Theory Oliver Lugg Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript Fullstack Academy
