Murat Kasimov
More about me
Я language (β)
/Я language (β)/Morphisms/wrap/
Arrow
and
Scope
morphism from an object to its
subtype
:
wrap
:
Supertype
i
`AR___`
i
wrap
:
Supertype
i
`AT___`
i
Inverse of this morphism is called
unwrap
.