[001G] Definition 1·b.

A category $E$ is defined to be a meta-category whose objects are defined to be the elements of some collection, and for any two objects $x,y\in E$ the morphisms $x\to y$ are defined to be the elements of some collection.