A vertical isomorphism in a Displayed Category is a Displayed Isomorphism over the identity function.