충실한 함자와 충만한 함자 - 다른 언어