This is part 13 of Categories for Programmers. Previously: Free Monoids. See the Table of Contents. It's about time we had a little talk about sets. Mathematicians have a love/hate relationship wit...