Locally small category (source code)

= Locally small category
{wiki=Category_(mathematics)#Small_and_large_categories}

A category is locally small when the morphisms between each fixed pair of objects form a set, even if its collection of all objects is a proper class.