³Type does not denote the class of all types. The type of all categories is Category. The type of Type itself is undefined.