We give a short proof that the Yoneda embedding is natural for ∞ ∞ -categories, and further prove that the space of natural transformations that are, pointwise, the Yoneda embedding, is contractible.
No takes yet. Share an insight, caveat, or question.
Maxime Ramzi (2023) studied this question.