Yoneda 的唯一性与 $(\infty,2)$-自然性
范畴论
2025-08-27 v2 代数拓扑
摘要
我们证明 Yoneda 嵌入可扩展为 -自然变换。此外,如此扩展后,它由其在平凡 -范畴处的值唯一确定。我们还研究了 Yoneda 引理在其自变量上的自然性,证明它是 -自然变换的同构。
引用
@article{arxiv.2405.08799,
title = {Uniqueness and $(\infty,2)$-Naturality of Yoneda},
author = {Shay Ben-Moshe},
journal= {arXiv preprint arXiv:2405.08799},
year = {2025}
}
备注
v2: 10 pages, published in Documenta Mathematica. v1: 9 pages, comments are welcome!