Hi Haskell,
Sorry to contribute to the noise but given that we've been talking about categories lately, I was wondering if anyone had any opinions on good universities for studying category theory.  I'm trying to figure out where to apply for my phd.  I want to either be at a place with a strong category theory program or a strong differential geometry program.

Thanks,
Creighton