Category Theory, The essence of interface-based design - Erik Meijer
243 - Eric Daimler on Conexus and Category Theory
A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2
What is Category Theory?
"Propositions as Types" by Philip Wadler
Interview with Erik Meijer • GOTO 2013
Category Theory for the Working Hacker
Bartosz Milewski. Categories for the Working C++ Programmer
Robert Innis interview pt 2
Are categories Design Patterns?
The Joy of Abstraction - Author Interview
2015-09 Category Theory in Functional Programming
Category Theory: Categories for the Working Programmer
The Promise of Category Theory
Alejandro Serrano: Category Theory Through Functional Programming (part 3/3) - λC 2017
Varn Vlog: Alexander Prähauser on Category Theory, Math, and Hegelian Dialectics
One Hacker Way Rational alternative of Agile - Erik Meijer
Scallop: A Language for Neurosymbolic Programming
Guillaume Martres - Secrets of the Scala Type System
Denotational Design: From Meanings To Programs • Conal Elliott • YOW! 2015
