Categories for the Working Mathematician