pure-awesome comments on Introduction to Introduction to Category Theory