Categories for the working mathematician - Mac Lane, Saunders (Graduate Texts in Mathematics, 5, 1971)