LATER figure out a good example to work through the category theory intro (cracking eggs into an omelette?)
For anyone who is interested, a few of us are dedicating an hour next Monday, May 5th, to discussing this. I will bring some material to talk through, but it will mostly be an open discussion with the following light agenda: