Categories for class type checking