 We need a definition from category theory. Fix a category C. An object x  is initial if for every object y there is exactly one morphism  f : x → y  Dually, an object x  is final if for every object y there is exactly one morphism f : y → x. 