A category is small if both its collection of objects and its collection of morphisms are sets, not proper classes
Wikidata ID: Q19619110