In each case, the second definition is more flexible and supports the **universe polymorphism** Mike wrote about at the n-café [here](https://golem.ph.utexas.edu/category/2012/12/universe_polymorphism_and_typi.html). In fact, I think the best definition of a large category is just take a small category with respect to a larger universe. While revising my book, I found that this definition simplifies a lot of otherwise delicate questions throughout category theory.

Just to make this even more confusing here is a third notion of locally smallness. But to distinguish it I will use a different name.

A set is **small** when it belongs to the fixed universe $\mathcal{U}$. A set is called **essentially small** when it is isomorphic to a small set. A category is **essentially locally small** when its hom-sets are essentially small.

Then essentially locally small categories obey the [principle of equivalence][1], whereas locally small categories [don't][2]. A concrete example is the category of functors from $\mathbf{FinSet}_{\cong} \to \mathbf{FinSet}_{\cong}$, which is the category of [combinatorial species][3]. This category is not locally small in the usual sense, but of course it is essentially locally small, and in practice this is the only thing that matters. 

We might as well redefine the notion of smallness to make it invariant under isomorphisms. This is perhaps not best for set theoretic concerns, but will align with the principle of equivalence in category theory.


  [1]: https://ncatlab.org/nlab/show/principle+of+equivalence
  [2]: https://math.stackexchange.com/a/5006089/1650
  [3]: https://en.wikipedia.org/wiki/Combinatorial_species?wprov=sfla1