>>62と同様に I 型の余極限を保存する関手が定義される。