The Stacks project

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.


Comments (2)

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

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0015. Beware of the difference between the letter 'O' and the digit '0'.