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