Categories for the working mathematician - MacLane, S. (New York : Springer, 1971)