/Я language (β)/Morphisms/is/

Arrow identity morphism:

You can get identity morphism in Scope category using it.