A short introduction on category theory and algebraic data types.
Also available as a web presentation at https://www.ruippeixotog.net/intro-to-category-theory. A version with speaker notes can be found at https://www.ruippeixotog.net/intro-to-category-theory?showNotes=true.
Originally presented as a ShiftForward Tech Talk, a series of talks presented by ShiftForward employees.