 On Dummett’s account, then, it may be possible to accept that whenever a criterion of identity for a type of object is to be given it must be (expressible as) a two-level criterion, which implicitly defines a functor. Essentially one-level criteria (one-level criteria not expressible in a two-level form) are redundant, determined by specifications of necessary and sufficient conditions for being objects of the sorts in question.