@John Re #40 Sorry I didn't follow the "specify what the whatsit is" rule. I've edited the post to try to correct it . Despite the page numbers in my notes I didn't note any link to the source and can't find it. I thought it was an interesting thing about a Yoneda embedding and hope the formulation is now ok.