Arrow and Scope morphism from an object to its boundtype:
Inverse of this morphism is called supertype.