Main Page | See live article | Alphabetical index 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. This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.