/Я language (β)/Morphisms/basetype/

Arrow and Scope morphism from an object to its Basetype:

You can use this morphism in operator composites.

Inverse of this morphism is called boundtype.