1. 概述 于 范畴论 中, 余完备范畴 是所有小 图式 都具有 余极限 的范畴. 2. 定义 定义 1 (余完备范畴) 称 范畴 为 余完备范畴, 当对任意小范畴 及任意图式 , 余极限 都存在. 3. 例子 例子 2 (集合范畴) 集合范畴 是 余完备范畴；其小余极限可以由余积与余等化子构造. 4. 相关性质 命题 3 (小余积与余等化子判别) 若一个 范畴 具有所有小 余积 与所有 余等化子, 则它是 余完备范畴. 5. 相关概念 完备范畴. 6. 术语翻译 中文英文余完备范畴cocomplete category 范畴论