Murat Kasimov
More about me
Я language (β)
/Я language (β)/Morphisms/terminal/
Morphism to a terminal object, some
categories
have it. For
Arrow
category it's
Unit
.
terminal
:
i
`AR___`
Unit