Hacker News new | ask | show | jobs
by tome 3882 days ago
You are correct, but it seems a bit much to take the author to task about this. Isn't all that you ask for to replace the words "category theory" with "the notion of category" throughout the document?