Initial Object
An initial object is an object in a set or category which has one and only one morphism going from itself to other objects in a set or category. 1
The dual of an initial object is the terminal object. 1
An initial object is an object in a set or category which has one and only one morphism going from itself to other objects in a set or category. 1
The dual of an initial object is the terminal object. 1