David Spivak is a treasure. One of the clearest expositors of category theory out there.