/Я language (β)/Morphisms/wrap/

Arrow and Scope morphism from an object to its subtype:

Inverse of this morphism is called unwrap.