monoids

• The Universal Properties of Map, Fold, and Filter
  September 30, 2013
• Metrics on Words
  December 19, 2011