\xymatrix @R=3pc @C=5pc { \C \ar[r]^F \ar@{}[d]^(.15){}="a"^(.85){}="b" \ar@{^{(}->}_{\yoneda_\C} "a";"b" \ar@{}[rd]|<<<<<<<{\cong} & \catD \\ \Psh\C\ar@{.>}[ru]_{\hat F}& }