Uniqueness and $(\infty,2)$-naturality of Yoneda
We show that the Yoneda embedding extends to an (\infty,2) -natural transformation. Furthermore, as such, it is uniquely determined by its value at the trivial \infty -category. We also study the naturality of the Yoneda lemma in its arguments, showing that it is an isomorphism of (\infty,2) -natural transformations.
Authors
- Shay Ben-Moshe (ORCID: https://orcid.org/0000-0001-8070-5235)
Institutions
- Hebrew University of Jerusalem (IL)
Publication Details
- Journal
- Documenta Mathematica
- Published
- 2025-08-25
- DOI
- https://doi.org/10.4171/dm/983
- Citations
- 1
- Primary Topic
- Fuzzy and Soft Set Theory
- Type
- article
- Field-Weighted Citation Impact
- 2.11