Category Theory Part 3 of 3: Universal Properties

An introduction to categories, functors, universal properties, natural transformations, and monads with applications to the lambda calculus and functional programming. This video is part 3 of a series: https://youtube.com/playlist?list=PL6kPvEdcJ4jTXsLMBy-1E8CIalh5DCc6B Read more here: https://github.com/blargoner/math-categories/blob/main/categories.pdf