a silly idea occurred to me while reading tom leinster's brief topos theory introduction... trying to explain the idea of "subobject classifier" / "truth-values object" ... presheaf topos examples, such as "graph" topos... idea that some intermediate truth values embody idea of certain sort of "hanger-on" wrt "in crowd" ... ??i guess that the prototypical example here is just pre-sheaves on the walking arrow...