defining yoneda maps