Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/identity/

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

identity : into i i

You can get this morphism in Arrow category using is and in Scope category using it.