Arrow and Scope morphism from an object to its supertype:
You can get use this morphism in operator composites.
Inverse of this morphism is called subtype.