Comments or suggestions: I think there should perhaps be a section on ‘new categories from old ones’ or something similar, covering e.g. (co)comma categories, (co)slice categories, functor categories, and product categories. I can start it myself, but I really only know about (co)comma and functor categories. Though I suppose it’s a good reason to learn other constructions.
Category theory