An introduction to categories, functors, universal properties, natural transformations, and monads with applications to the lambda calculus and functional programming.
This video is part 2 of a series:
• Category Theory
Read more here: https://github.com/blargoner/math-cat...