Provide a series of blog posts that explain category theory.
The primary source is Bartosz Milewski’s Category Theory for Programmers videos, Part 1, and his book, Category Theory for Programmers, supplemented with other materials as I need to better understand concepts.
This list is in the order of the videos, but will likely be modified as I either collapse or expand certain concepts.
Epimorphisms and Monomorphisms #next
Examples of Categories, Orders, and Monoids
Terminal and initial objects
Coproducts, sum types
Algebraic Data Types
Functors in Programming
Monoidal Categories, Functoriality of ADTs
Function objects, Exponentials
Type Algebra, Curry-Howard-Lambek Isomorphism
Monoid in the Category of Endofunctors
This is expected to take several months to realize.
Series 2 and 3 may be eventually explained too.