重新审视 Yoneda 嵌入的 (∞,2)-自然性
范畴论
2025-12-18 v2 代数拓扑
摘要
我们证明 Yoneda 嵌入'是'关于预层函子性的 (∞,2)-自然的，通过左 Kan 扩展，改进并细化了 Haugseng-Hebestreit-Linskens-Nuiten 和 Ramzi 独立证明的 (∞,1)-范畴论结果，并回答了 Ben-Moshe 的问题。作为关键技术要素，我们证明 (∞,1)-范畴的 (∞,1)-范畴的恒等函子只能被增强为一个 (∞,2)-函子（即恒等函子）。
引用
@article{arxiv.2508.11526,
title = {Revisiting $(\infty,2)$-naturality of the Yoneda embedding},
author = {Tobias Lenz},
journal= {arXiv preprint arXiv:2508.11526},
year = {2025}
}
备注
Final version, incorporating feedback from referee. 5 pages