Here’s a significantly improved version of the opening chapters of Beginning Category Theory. In particular, Chapter 3 is shorter, better focused, and makes it clearer (I hope) while I’m fussing a bit about e.g. why functions aren’t sets!
Updated The two reported typos corrected (thanks!) and a sentence changed in the the final section.