Let's do Chapter 5 of Bartosz Milewski's Category Theory for Programmers

For those who have seen Haskell monads, Chapter 4 looked pretty code-y.

Chapter 5 is more category theory-y. It introduces us to initial and terminal objects, and what it means to be unique up to isomorphism. It also talks about opposite categories, and why, whenever we see a thing, we should be on the lookout for a cothing.

Let's read the chapter and do the exercises, then get together for our usual lively and occasionally on-topic discussion. We'll try to get properly underway around 6:15.

No pizza! That was a special thing for the first meeting. Make sure to get some proper nourishment before you show up!