Type (metaphysics)
Types are a
category of being. A
human is a type of thing; a cloud is a type of thing; and so on. An instance of a type is called a
token of that thing; so
Socrates is a token of a human being; the letter "A" you see on this page is a token of the first letter of our
alphabet; the apple on the table is a token of the type, apple.