Initial and Terminal Objects

If a terminal object exists, it is unique up to unique isomorphism.