Category Theory
- How to Conquer Tensorphobia
January 17, 2014 - The Universal Properties of Map, Fold, and Filter
September 30, 2013 - Functoriality
July 14, 2013 - Universal Properties
May 24, 2013 - Properties of Morphisms
May 15, 2013 - Categories as Types
May 4, 2013 - Introducing Categories
April 24, 2013 - Categories, What's the Point?
April 16, 2013 - A Sample of Standard ML, the TreeSort Algorithm, and Monoids
April 7, 2013