-->
Morphism from an object to itself, each category has it.
You can get this morphism in Arrow category using is and in Scope category using it.