is a terminal object iff ().
There is a unique morphism from any object (including itself).
Terminal object corresponds to a singleton set in Set Theory, True in logic, Unit in types.
If there are multiple terminal objects, they are unique up to isomorphism.
Initial object is the reverse of terminal object.
is an initial object iff ().
There exists a unique morphism from initial object to any object (including itself).
Initial object corresponds to an empty set in Set Theory, False in logic, Void in types.