Categories for the working mathematician - MacLane, Saunders (Graduate Texts in Mathematics / Springer Verlag, 1971)