正確な函子と射的モジュールと注入的モジュールの関係