Notes on Category Theory v.6a

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.