DONE figure out a good example to work through the category theory intro (cracking eggs into an omelette?)