Murat Kasimov
More about me
Я language (β)
/Я language (β)/Morphisms/is/
Arrow
identity
morphism:
is
:
i
`AR___`
i
You can get
identity
morphism in
Scope
category
using
it
.