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.