An elementary proof of the naturality of the Yoneda embedding
Maxime Ramzi
所有作者
Maxime Ramzi
文献摘要
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.