>>136の双対

定義
C を圏 D の部分圏(過去スレ017の361)とする。
任意の D-対象が C-余反射(>>146)を持つとき
C を D の余反射的部分圏(coreflective subcategory)と言う。