Oh man, I really don’t have the time for this but I want to join anyway. I’ve started reading through category theory books (Awodey and MacLane) about 4-5 times in the last couple of years but had to stop. I picked up category theory in grad school but that was ages ago. Anyway I can’t guarantee I will be able to do much more than “audit” but it sounds like fun. Email: talbertr@gvsu.edu