Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/hu/

`hu` - [H]om [U]nit | starting precedence - 9 `hu` : t _ a `AR__` into ( o ) ( t _ o )

Looks like a dot `hu` designating covariantly factoring focused parameter through Unit object.

It's an alias of yiu operator since Hom functor is covariant by 2/2 argument.

`yiu` : t _ a `AR__` into ( o ) ( t _ o )

Available stretched versions:

`hu_` `hu__` `hu___` `hu____` `hu_____` `hu______` `hu_______` `hu________`