Category Theory for the Working Hacker

For May, we're watching Category Theory for the Working Hacker (https://www.infoq.com/presentations/category-theory-propositions-principle/).

We'll discuss the talk and cover some background, as well as what we found surprising and really didn't understand.

It's okay if you don't understand all (or most of) the content -- good questions are valuable starting points for exploring the material!

I look forward to talking with all of you!