In the category of sets, the initial object is the empty set, since there exists a unique function, namely the empty function, from the empty set into any other given set.
terminal object null object object zero object exponential object category subobject classifier subobject small category cocone
Save “initial object” to learn later