Categories for the working mathematician - Mac Lane, Saunders, 1909-2005 (Graduate texts in mathematics ;, 1971)