/Я language (β)/Morphisms/itself/

Arrow identity morphism:

You can get identity morphism in Scope category using mirror.