Definition 2.1 (Locally small). We say a category $C$ is locally small if, for any two objects $A$ and $B$, the morphisms $A\to B$ in $C$ are parameterised by a set $C(A,B)$.