Chapter 6. Types and Categories and Sets

Three ideas seem to have gotten combined:

• The urge to classify things according to "what they are."

• A need to express the semantic characteristics of things, by specifying which attributes and relationships and names are relevant and valid for them. The easiest paradigm: certain rules and constraints apply to certain classes of things.

• A tradition of data description, based on record types.