Just spotted an elementary thinko in *Category Theory* *I. *

I carelessly define a finite limit as a limit over a diagram with a finite number of objects. But standardly, it should of course be “with a finite number of objects *and* finite number of arrows”. And I define a small limit as a limit over a diagram with no more than set-many objects: it should of course be “with no more than set-many objects *and* set-many arrows”.

No great harm done as the definitions do little work in *Category Theory* *I* but were really for future use in Part II. Very annoying all the same. And the twin mistakes have been there in however many earlier iterations, and no-one has pointed them out.

I’ll have to start a corrections page …