Initial and terminal objects
- 始对象和终对象（数学中，始对象是范畴"C"中的对象"I"，从"I"到任何对象"X"的态射唯一；终对象是范畴"C"中的对象"T"，从任何对象"X"到"T"的态射唯一）
Initial and terminal objects
-
abstract:
In category theory, an abstract branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C, there exists precisely one morphism I → X.
以上来源于:
WordNet