定義
単射を保存する関手を単関手(monofunctor)と呼ぶ。