/Я language (β)/Morphisms/terminal/

Morphism to a terminal object, some categories have it. For Arrow category it's Unit.