/Я language (β)/Morphisms/identity/

Morphism from an object to itself, each category has it.

> identity : target i i

You can get this morphism in Arrow category using itself and in Scope category using mirror.