# Question on category theory

So I have an introductory knowledge of category theory but there is one concept I can't get my head around and would like some help:

When my class had categories defined we said a category $\mathcal{A}$ is a collection of objects (not necessarily a set) and for every two objects $A, B$ there is a set Hom($A$,$B$) that are all the morphisms (arrows) between the two objects.

I was getting along fine with this until my professor mentioned that we cannot have a category of categories. He said we could certainly look at the collection of all categories but given two categories the functors between them may not form a set thus violating our definition. So this is where my confusion is. I understand that not all collections can be sets, i.e. under general set theory we cannot have a set of all sets that don't contain themselves (Russell's Paradox). But I don't quite see what is wrong with having a set of all functors between categories.

I'm well aware that there are things called Higher categories that allow my Hom space be a category on its own right and this would allow me to form a higher category of categories or some such (I'm not very familiar with this area, but it's also not quite what I'm asking at the moment).

So if possible I would love an example (or an explanation of) two categories where the collection of functors between them cannot be a set. I spoke to my professor about it but he pretty much just said it can lead to paradoxes, but I don't see how.

Any help is appreciated, Thanks

• Well, you describe a "locally-small" category, where the $\hom(-,-)$ are sets. They can be "bigger" collections (classes), which would give us a "large" category (example of a large cat: Set). THEN the question is: are you talking about the category of small categories, or of large categories? (Or both?) – Alex Nelson Sep 28 '13 at 19:33
• Daniel Rust' answer is clear and simple and adequately answers your question. I just would like to add that the definition you have been given is not the most general one. What you are working with are generally called locally small categories. In any case, it is pretty obvious that you cannot make the category of all categories, for exactly the same reason that you cannot have the set of all sets or the mother of all mothers for that matter. The reason is simply that such things would have to contain themselves and this is a little awkward, and is considered unacceptable. .... – magma Sep 29 '13 at 23:36
• ....So you cannot have a giant category that contains itself (since it contains all categories). The way out is to have hierarchies of collections: sets, classes, conglomerates. You can have the class of all sets and the conglomerate of all classes, but not the set of all sets or the class of all classes. See The Joy of Cats katmat.math.uni-bremen.de/acc/acc.pdf for an eye-opening view on the quasicategory of all categories. – magma Sep 29 '13 at 23:52

• Because there is no "absolute" notion of set (and if there is, then the collection of all sets is certainly not a set). Instead we have models of set theory, and their elements are called sets. Once you change the model of set theory that you are working with, you change the definition of what it means to be a set. If we say that numbers are elements of $\Bbb N$, then $-1$ is not a number, but we then decide that "number" means a real number, then now $-1$ is a number. We changed the context, we changed the definition of "number". Same goes here. – Asaf Karagila Feb 16 '14 at 7:54