Locally small category (source code)

= Locally small category

= Locally small
{synonym}

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.