Uniqueness and $(\infty,2)$-Naturality of Yoneda
Category Theory
2025-08-27 v2 Algebraic Topology
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
@article{arxiv.2405.08799,
title = {Uniqueness and $(\infty,2)$-Naturality of Yoneda},
author = {Shay Ben-Moshe},
journal= {arXiv preprint arXiv:2405.08799},
year = {2025}
}
Comments
v2: 10 pages, published in Documenta Mathematica. v1: 9 pages, comments are welcome!