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 divided power rings, see Divided Power Algebra, Section 23.3.

9. The category of schemes.

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

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

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

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

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

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

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

17. 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.

Comment #7049 by nkym on

Should the category of divided power rings in 07GW be included here?

There are also:

• 7 comment(s) on Section 4.2: Definitions

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).