Locally small category

ID: locally-small-category

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.

New to topics? Read the docs here!