TY - RPRT TI - An elementary proof of the naturality of the Yoneda embedding AU - Maxime Ramzi PY - 2023 UR - https://arxiv.org/abs/2209.12575 ID - 2209.12575 ER -