Tool and object a history and philosophy of category theory - Krömer, Ralf (Science networks, 2007)