  This contention about the “more intimate” relation between types, tokens, and their instantiations of properties leaves one to wonder how Wollheim conceived of both universals and types.  Unlike Peirce, he does not hold that the existence of a type depends on that of at least one token; Wollheim seems inclined to accept types as a species of autonomously existing abstract object. Yet if any item that instantiates the property rectangular must be spatial, and if every token of The Union Jack instantiates that property, then it follows from Wollheim’s claim that The Union Jack is, qua type, rectangular. It would appear to follow from this that the type must be a concrete, spatially located entity, since anything that can literally be rectangular must be located in space. Yet one of the main reasons for going in for the theory of types in the first place was Peirce’s basic observation that while token word inscriptions of ‘the’ have their times and places, the word the, qua type, has no location. Is it sound to postulate the existence of an autonomous abstraction having spatial or temporal features?