countedblessings comments on What is category theory?