在集合范畴中，始对象是空集，终对象是单点集，为什么？因为空集是任何集合的子集，因此总有包含映射；但给定任意元素，其映射的像不可能在空集中，因此只能以常值映射来终结。
Strongart数学范畴论数学 苏州