Locally small category

A locally small category $𝖢$ is a category for which the morphisms $𝖢 (𝑋, 𝑌)$ between any two objects $𝑋, 𝑌 \in 𝖢$ form a small set. #m/def/cat

#state/tidy | #lang/en | #SemBr