finished yoneda embedding