gjm comments on What is category theory?