[数]?初始对象

根据终结性质的对偶定义，我们可以得到初始性质，范 畴C中的对象堤初始对象（initial object），如果它满足有唯一的箭头％黼 向范畴中的任意对撇一性质。 在集合范畴中，空集严格的符合初始对象的定义。

?始对象

... 对象 target; object 始对象 initial object; source object 原始对偶法 primal dual method ...