A number of people have very kindly sent corrections to the last version of Notes on Category Theory. There were some possibly confusing typos and also a downright wrong proof. Embarrassing. So here’s a “maintenance upgrade”, making some needed repairs.
[Added: a few more needed corrections are noted in the comments below.]