Revisiting $(\infty ,2)$-naturality of the Yoneda embedding

Tobias Lenz

We show that the Yoneda embedding 'is' $(\infty ,2)$-natural with respect to the functoriality of presheaves via left Kan extension, refining the $(\infty ,1)$-categorical result pro…