Murat Kasimov
More about me
Я language (β)
/Я language (β)/Morphisms/wrapped/
>
wrapped
:
a
`AR`
o
`AR______`
Supertype
a
`AR`
Supertype
o
>
wrapped
:
a
`AR`
o
`AT______`
Supertype
a
`AR`
Supertype
o
Inverse of this morphism is called
rewrap
.