Type (metaphysics)
From Wikipedia, the free encyclopedia
A type is a category of being. A human is a type of thing; a cloud is a type of thing (entity); and so on. A particular instance of a type is called a token of that thing; so Socrates was a token of a human being, but is not any longer since he is dead. Likewise, the capital A in this sentence is a token of the first letter of the Latin alphabet.
A type is something different in logic. See Bertrand Russell's Theory of types.