Categories for the working mathematician - MacLane, Saunders (Springer Verlag, 1971)