and what, pray tell, is the collection of objects of the categorySet? i understand that Grothendieck introduced his notion of a universe to avoid using "proper classes", but in my point of view, this is just squeezing the "air bubble" from one room to the next. theexistenceof a Grothendieck universe is axiomatic, it's certainly not derivable from the ZF axioms.

and the point is, if you want to talk about category theory as an alternative to ZF(C) as a mathematical foundation, you want the weakest form (fewest assumptions) possible. sure, you can add "strongly inaccessible cardinals" to ZFC and within that framework, talk about categories, but adding such an axiom is not a conservative extension of ZFC, it is some larger theory (unlike say NBG).

in fact, the consistency of ZFC with Grothendieck universes, is not in and of itself a compelling reason for adopting the so-called ZFCU system. U has some of the same questionable flavor the axiom of choice does, or the continuum hypothesis.

anyway, by "already at hand" i meant using the language of (conventional) sets to describe category theory. i am aware that there are alternate approaches to founding category theory: this is discussed briefly in "Categories for the Working Mathematician" 1.6, and also in some book by Awodey, i can't recall which one.

in one sense you are correct, we don't "need" classes to be able to describe the categorySet, but then what we have instead is a stronger theory (with Grothendieck universes, you can prove the consistency of ZFC, which by Godel's Theorem implies that it is indeed a stronger theory). whereas, if you use proper classes, you are using a theory that is "the same strength"

(true in ZFC iff true in GNB).

even GNB is insufficient to describeCat(or what Maclane callsCat'), however, because for each collection type of GNB, we can form a strictly larger category whose objects are that kind of type, and morphism functions between them.