Categories for the working mathematician - MacLane, S. (Graduate texts in mathematics, 1971)