Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ho/

`ho` - [H]om C[O]variant | starting precedence - 9 `ho` : t _ a `AR__` into ( from a o ) ( t _ o )

Looks like an empty smalll circle `ho` designating covariant position of a focused parameter.

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

`yio` : t _ a `AR__` into ( from a o ) ( t _ o )

Available stretched versions:

`ho_` `ho__` `ho___` `ho____` `ho_____` `ho______` `ho_______` `ho________`