:讨论.积为范畴论中的一种极限。积也即"C"中离散子范畴的极限。积不一定存在。但若存在，则由其定义易知其在同构的意义下唯一。空积（"I"为空时所得的积）即终对象。若"C"中对任意基于"I"的对象集均存在积，则该积也可以看做一个从"C"到"C"的函子。集合{"X"}的积通常记为∏ "X"。态射π也称为自然投影。如下自然同构成立：（Hom("U","V")表示"C"中从"U"到"V"的态射集；左侧的积为范畴意义上的积、右侧的为集合的笛卡儿积）。若"I"为有限集，例如"I" = {1...,"