
Remark 4.2.2. Big categories. In some texts a category is allowed to have a proper class of objects. We will allow this as well in these notes but only in the following list of cases (to be updated as we go along). In particular, when we say: “Let $\mathcal{C}$ be a category” then it is understood that $\mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ is a set.

1. The category $\textit{Sets}$ of sets.

2. The category $\textit{Ab}$ of abelian groups.

3. The category $\textit{Groups}$ of groups.

4. Given a group $G$ the category $G\textit{-Sets}$ of sets with a left $G$-action.

5. Given a ring $R$ the category $\text{Mod}_ R$ of $R$-modules.

6. Given a field $k$ the category of vector spaces over $k$.

7. The category of rings.

8. The category of schemes.

9. The category $\textit{Top}$ of topological spaces.

10. Given a topological space $X$ the category $\textit{PSh}(X)$ of presheaves of sets over $X$.

11. Given a topological space $X$ the category $\mathop{\mathit{Sh}}\nolimits (X)$ of sheaves of sets over $X$.

12. Given a topological space $X$ the category $\textit{PAb}(X)$ of presheaves of abelian groups over $X$.

13. Given a topological space $X$ the category $\textit{Ab}(X)$ of sheaves of abelian groups over $X$.

14. Given a small category $\mathcal{C}$ the category of functors from $\mathcal{C}$ to $\textit{Sets}$.

15. Given a category $\mathcal{C}$ the category of presheaves of sets over $\mathcal{C}$.

16. Given a site $\mathcal{C}$ the category of sheaves of sets over $\mathcal{C}$.

One of the reason to enumerate these here is to try and avoid working with something like the “collection” of “big” categories which would be like working with the collection of all classes which I think definitively is a meta-mathematical object.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).