In this video, the lecturer said "Any two terminal objects are isomorphic, because it [terminal object-ness] is a universal mapping property".
Is it true that all "universal mapping properties" induce an isomorphism? i.e. if objects $A,B$ both have universal mapping property $P$, then $A,B$ are isomorphic? If so, why?