Shmi comments on Introduction to Introduction to Category Theory