Concept history

Concept created

A [[Category|category]] $\mathcal{C}$ is locally small if, for every pair of objects $X,Y$ in $\mathcal{C}$, the collection of morphisms from $X$ to $Y$ is a set.