Terminal

Let be a Category An Object is terminal if its initial in i.e. for any there is exactly one Morphism