Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

A category $\mathcal{C}$ is said to be locally small if for objects $A,B \in \operatorname{ob}(\mathcal{C})$, the morphism class $\hom(A,B)$ is a set; a set being a class that is a member of another class, i.e. $X$ is a set if there is a class $Y$ such that $X \in Y$.

Since $\hom(\mathcal{C})$ is necessarily a class, and $\hom(A,B) \in \hom(\mathcal{C})$, it follows that $\hom(A,B)$ is a set. So how do we structure a non-locally small category?

share|cite|improve this question
Isn't hom$(A,B)$ rather a subset/subclass of hom$(\mathcal C)$ than an element? – Stefan Hamcke Jul 8 '13 at 15:45
Small categories are locally small. – Martin Brandenburg Jul 8 '13 at 18:55

As pointed out by @Stefan in his comment, your mistake is to consider $$\hom(A,B) \in \hom(\mathcal{C})$$ instead of the correct relation $$\hom(A,B) \subset \hom(\mathcal{C})$$ This condition is not enough to guarantee , in general, that $hom(A,B)$ is a set, that is why we need an extra definition/conditin, if you want to obtain certain results (eg Yoneda lemma).

In general, $hom(A,B)$ is a class.

What is true, though generally not emphasized in textbooks, is that objects and morphisms are sets, since they are members of the respective classes $Ob(C)$ and $Mor(C)$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.