Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/initial/

Morphism from an intial object, some categories have it. For Arrow category it's Void.

initial : Void `AR___` i