terminal object = from every point in a category, there is one and only one arrow to the terminal object
two terminal objects are always have a uniquely ismorphic = only one way to isomorph between the two