Wiki. 始对象 [始对象]

定义

始对象是到任意对象有唯一态射的对象.

始对象是空的余极限.