?? let x be the category as follows:

p
^
|
s
||
vv
m

and consider x -> _presheaf(x)_ agreeing with yoneda embedding y on full subcategory containing s and m, but taking p to pushout of y(s -> p) along y("left" : s -> m) and taking s -> p to ... ??? certain presheaf morphism ... ???...


p = "point"

s = "set"

m = "map"


?? "walking point-displaced-by-map" ... ????.....