"Tool and Object: A History and Philosophy of Category Theory" - читать интересную книгу автора (Ralf Krömer)