Tool and object a history and philosophy of category theory - Kromer, Ralf (Birkhauser, 2007)