Categories for the working mathematician