In Glossary§

See primary documentation in context for Type objects.

A type object is an object that is used to represent a type or a class. Since in object oriented programming everything is an object, classes are objects too, and they inherit from Mu.