Work

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

Year: 2025
Type: article
Abstract: 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.
Language: English
Open Access status: diamond
OpenAlex ID: W4413504434
FWCI: 1.7
Cites:
Cited by: 1
Related to: 10