13
$\begingroup$

In the definition of a category on Wikipedia, it is written that a category "consists of" a class of objects and a class of morphisms, as well as binary operations for compositions of morphisms.

What concerns me about this definition is that proper classes (such as the class of all sets or the class of all groups) are by definition not allowed to be elements of any other classes (or sets). Since the category of sets "consists of" the proper class of all sets, then if we take "consists of" to mean "contains as an element", it follows that this category must be a new type of collection that is larger than both classes and sets.

The only way I think that the category of sets could itself be a class would be if we take "consists of" to mean "contains as a subclass." However, I don't see anything on the page that clarifies this.

The following questions are related, although I don't think they address my specific issue about whether categories are larger than classes:

$\endgroup$
8
  • $\begingroup$ In my set theory book, a class is actually defined just by a formula. Following that philosophy, for instance "the class of all topological spaces" should be thought of as "... is a topological space", which a given object may or may not satisfy. An object $X$ is thus an object of the category of topological spaces if "$X$ is a topological space" is satisfied. $\endgroup$
    – Arthur
    Mar 31, 2016 at 22:42
  • 4
    $\begingroup$ Talking about classes in the context of ZFC is always a bit cumbersome and the short answer to your question is "don't worry about it". If that doesn't satisfy you, there are several options to formalize big categories. You could take a set theory that includes classes as your background theory (e.g. NBG or MK), you could stay within ZFC and only talk about virtual classes (i.e. every class is of the form $\{x \mid \phi(x)\}$ for some formula $\phi$. $\endgroup$ Mar 31, 2016 at 22:46
  • 2
    $\begingroup$ You can also consider unverses. Basially, one defines and fixes a universe $U$ as a set whose elements $u$ (sets!) satisfy the usual properties except that one replaces ${x \vert \phi(x)}$ with ${x\vert \phi(x); x\in u}$. Any set $w$ which is a member of $U$ is called $small$; otherwise, $w$ is $large$. A proper class is then any $w$ that is not small. $\endgroup$ Mar 31, 2016 at 23:14
  • 1
    $\begingroup$ @Chilango $U$ should be something resembling a Grothendieck universe? $\endgroup$ Mar 31, 2016 at 23:17
  • 1
    $\begingroup$ It's far from agreed that it really makes sense to start from scratch with a topos. The universes approach is best, and is probably the most commonly used among category theorists and algebraic geometers. $\endgroup$ Apr 1, 2016 at 5:18

1 Answer 1

1
$\begingroup$

The subsequent is ugly, but it is a one way to avoid, if you want, some problems with proper classes in definition. We can define the category as some class $\mathcal{C}$ such that there exists class $\mathcal{A}$ of "arrows", for which $\mathcal{C}\subseteq\mathcal{A}\times\mathcal{A}\times\mathcal{A}$, and $(\beta,\alpha,\gamma)\in\mathcal{C}$ has a sense that arrows $\beta,\alpha$ can be composed, and $\beta\alpha=\gamma$. The corresponding axioms are obvious. Then $Ob(\mathcal{C})$ and hom-sets can be proper classes. Yet the set theory is narrow for category theory.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .