Dustin comments on What is category theory?