Uniqueness and -naturality of Yoneda

Uniqueness and $(\infty,2)$-naturality of Yoneda cover
Download PDF

This article is published open access.

Abstract

We show that the Yoneda embedding extends to an -natural transformation. Furthermore, as such, it is uniquely determined by its value at the trivial -category. We also study the naturality of the Yoneda lemma in its arguments, showing that it is an isomorphism of -natural transformations.

Cite this article

Shay Ben-Moshe, Uniqueness and -naturality of Yoneda. Doc. Math. 31 (2026), no. 2, pp. 435–444

DOI 10.4171/DM/983