Researches in the foundations mathematics have made it clear that all of mathematics in the a bove sense can be got down to logic and set theory, and that the objects needed for mathematics in this sense can be got down to a single category, that of classes including classes of classes, classes of classes of classes, and so on.