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