@John In fact, Fong and Spivak did mention the Yoneda lemma in passing (Oct 12 version, p.20), though restricted to the case of preorders and using the contravariant (upper set) version for some reason. :-? (I dug this out when one of my professors comments on my work suddenly brought Yoneda into my mind though it had absolutely nothing to do with category theory or mathematics...)