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:

  • $\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 '16 at 22:42
  • 3
    $\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$ – Stefan Mesken Mar 31 '16 at 22:46
  • $\begingroup$ You could also ditch set theory as your foundation altogether and develop your framework using topos theory instead. These approaches have their differences, but many results carry over in a straightforward way. So - to most mathematicians - it really doesn't matter which one to take. $\endgroup$ – Stefan Mesken Mar 31 '16 at 23:05
  • 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$ – Matematleta Mar 31 '16 at 23:14
  • 1
    $\begingroup$ @Chilango $U$ should be something resembling a Grothendieck universe? $\endgroup$ – Stefan Mesken Mar 31 '16 at 23:17

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.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.