TY - RPRT TI - Yoneda lemma AU - Gintaras Valiukevičius PY - 2023 UR - https://arxiv.org/abs/2305.18463 ID - 2305.18463 ER -