Definition 6.12.

The sheafified Yoneda functor \(y_{\tau}\) is the composite

\[C \xhookrightarrow{y} \PSh(C) \xrightarrow{L_{\tau}} \Shv_{\tau}(C).\]