论文标题
Yoneda嵌入自然的基本证明
An elementary proof of the naturality of the Yoneda embedding
论文作者
论文摘要
我们提供了一个简短的证据，表明Yoneda嵌入对于$ \ infty $类别中是自然的，进一步证明了自然转化的空间，即Yoneda嵌入的自然转换空间是可签约的。
We give a short proof that the Yoneda embedding is natural for $\infty$-categories, and further prove that the space of natural transformations that are, pointwise, the Yoneda embedding, is contractible.
