 In category theory, a category whose collection of objects forms a proper class (or whose collection of morphisms forms a proper class) is called a large category.The surreal numbers are a proper class of objects that have the properties of a field.Within set theory, many collections of sets turn out to be proper classes.