jacobjacob comments on Introduction to Introduction to Category Theory