MacLane's Categories for the working mathematician Lang's Algebra. Hartshorne's Algebraic geometry .