百科. 余完备化 [余完备化]

观念

设 $K\subset R$ 是两族小范畴 (即 $K\hookrightarrow R \hookrightarrow\mathsf{Cat}$ 为全子范畴). 对于具有 $R$-形余极限的范畴 $\mathcal C$, 可在保持 $R$-形余极限的条件下, “自由地添加 $K$-形余极限”, 得到 $$ \mathcal C \hookrightarrow \mathsf{P}_{R}^K(\mathcal C). $$