countedblessings comments on Introduction to Introduction to Category Theory