 If, on the other hand, we approach category theory from an internal perspective, we will assume some answer to the external questions and then go on to ask about the correctness of the system of categories under those assumptions. So, for instance, we might adopt a realist perspective and hence assume that there is some correct metaphysically privileged list of mind and language independent highest kinds as well as a correct account of the relations between them. And we can then try to determine what that list is. Now, Aristotle certainly belongs to this latter tradition of speculation about categories: he assumes rather than defends a posture of realism with respect to the metaphysical structures in the world. It is thus appropriate to assume realism along with him and then inquire into the question of which categories there might be.