The process we have just been through in identifying the notion of a category is one of the basic modi operandi of pure mathematics. It is called abstraction. It begins with the recognition