Sheaves on the finest Grothendieck topology

83 Views Asked by At

Consider a category $\mathbf C$. To each family $\mathcal F$ of presheaves (that is, functors $\mathbf C^{op}\rightarrow\mathbf{Set}$) we can associate the finest Grothendieck topology $J$ on $\mathbf C$ such that every presheaf in $\mathcal F$ is a sheaf for the topology $J$. Is there a characterization of the category $\mbox{Sh}(\mathbf C, J)$?