/Я language (β)/Morphisms/initial/

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

> initial : Void `AR___` i