e.g. is $\widehat{\mathbf{SET}}$ locally small?



is the presheaf category of a locally small category locally small?
No, not in general. Todd gave a useful general answer and here is a concrete counter-example.


Let $\mathbf{C}$ be a category whose objects are sets and where the only morphisms are the identities. Consider the functors $F, G : \mathbf{C} \to \mathbf{Set}$ given by $F(X) = 1 = \lbrace 0 \rbrace$ and $G(X) = 2 = \lbrace 0,1\rbrace$. Because $\mathbf{C}$ is discrete, every family of maps $(\eta\_X : F(X) \to G(X))\_{X \in \mathbf{C}}$ is natural. Therefore, natural transformations $F \to G$ are in bijective correspondence with classes:


* a natural transformation $\eta : F \to G$ corresponds to the class $\lbrace X \in \mathbf{Set} \mid \eta\_X(0) = 1\rbrace$.
* a class $C$ corresponds to the natural transformation $\eta : F \to G$ given by



> 
> $\eta\_X(0) = 1$ if $X \in C$ and $\eta\_X(0) = 0$ if $X \not\in C$.
> 
> 
>


Thus the presheaf category $\widehat{\mathbf{C}}$ is not locally small (note that $\mathbf{C}^{op} = \mathbf{C}$).


I cannot think at the moment of concrete presheaves $F$ and $G$ on $\mathbf{Set}$ for which the natural transformations $F \to G$ form a proper class. Someone please help.


