Add documentation to yoneda from wikipedia