Yes, this seminar. First meeting was just a general talk; the second we were supposed to discuss the first 40-50 pages of Barr and Wells' book, but nobody read
Hi Vlad, I take it that's the seminar associated with the google group http://groups.google.com/group/bacat/ It looks like there's already been an October 1st
An entry in mathoverflow (a version of stackoverflow focusing on mathematics instead of programming) provides yet another discussion involving category theory,
Happy Thanksgiving everybody! :) I apologize for the earlier e-mail. My "Super!" response below was supposed to be for a friend's e-mail. I don't know how I