initial object
English
Noun
initial object (plural initial objects)
- (category theory) An object within a category which sends out arrows to all other objects in that category, and such that each of these arrows is unique.
- In the Sets category, the initial object is the empty set, since there exists a unique function, namely the empty function, between the empty set and any other given set.