We do have a thing as a category of small categories. We can do it one level up, right? Set up something like a ``big'' category of categories. It seems that problem that we are essentially running into is the self-referential statements, such as "the set of all sets", "the class of all classes", etc.