C中一对象集{Xi | i ∈ I}的积为满足下面泛性质的偶(X, (πi))，其中X为一对象，πi : X → Xi（i ∈ I）为一组态射：对任意对象Y及其到Xi的一组态射fi，存在唯一的态射f : Y → X满足，对任意i ∈ I，fi = πi f。
tsʁɣ^k tɕhqk çqr khqʑɣ^r ɬqn (en)zˈaɪ(cmn)  (en)z z(cmn) çɣr ɬqk thɣqr ʑr tsn khqʑr qʑr xʑr khqɣ^r tsʁqr çɣr r, (en)pˈaɪi(cmn) qn tsʁɣ^k thɣqr tɕhqk çqr khqʑɣ^r (en)pˈaɪi(cmn) : (en)zˈaɪ z z(cmn) thɣqr tɕhqk tsr ʑqr ʁɣr çqr ɣr tɕhqr çqr khqʑɣ^r ɬqn qn çʑr (en)zˈaɪ(cmn) çɣr tɕhqk tsr ʑqr ʁɣr (en)fˌaɪ(cmn) ʝn tsʑqr thɣqn tɕhqk çɣr ʑqr ʁɣr : ʑr tsn çqr ɣr tɕhqr (en)z z(cmn) (en)fˌaɪ ˈiːkwəlz pˈaɪi(cmn)