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