完备性范畴论在范畴论(category theory），一个范畴C被称为完备的，如果任何一个从小范畴到C的函子（functor）都有极限(limit）
而它被称为上完备的，如果任何函子都有一个上极限（colimit）
请查看范畴论中的极限定义
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
