2000 character limit reached
Uniqueness and $(\infty,2)$-Naturality of Yoneda
Published 14 May 2024 in math.CT and math.AT | (2405.08799v1)
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.
- Shay Ben-Moshe. Naturality of the ∞\infty∞-categorical enriched Yoneda embedding. Journal of Pure and Applied Algebra, 228(6):107625, 2024.
- Enriched ∞\infty∞-categories via non-symmetric ∞\infty∞-operads. Advances in Mathematics, 279:575–716, 2015.
- Rune Haugseng. On lax transformations, adjunctions, and monads in (∞,2)2(\infty,2)( ∞ , 2 )-categories. Higher Structures, 5(1):244–281, 2021.
- Hadrian Heine. An equivalence between enriched ∞\infty∞-categories and ∞\infty∞-categories with weak action. 2020. arXiv:2009.02428v5 [math.AT].
- Hadrian Heine. An equivalence between enriched ∞\infty∞-categories and ∞\infty∞-categories with weak action. Advances in Mathematics, 417:108941, 2023.
- Two-variable fibrations, factorisation systems and ∞\infty∞-categories of spans. Forum of Mathematics, Sigma, 11:e111, 2023.
- Vladimir Hinich. Yoneda lemma for enriched ∞\infty∞-categories. Advances in Mathematics, 367:107129, 2020.
- Jacob Lurie. Higher Topos Theory (AM-170). Princeton University Press, 2009.
- Jacob Lurie. Higher Algebra. https://www.math.ias.edu/~lurie/papers/HA.pdf, 2017.
- Maxime Ramzi. An elementary proof of the naturality of the Yoneda embedding. Proceedings of the American Mathematical Society, 151(10):4163–4171, 2023.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
