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.