関手の定義は分かる?