Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ha/

[H]om contr[A]variant functor `ha` : t a _ `AR____` target ( source ( o ) ( a ) ) ( t o _ )

Looks like a bullet point `ha` designating contravariant position of a 1/2 parameter.

Original mapping of derived functor definition:

: source ( o ) ( a ) `AR____` target ( t a _ ) ( t o _ )

Basically it's an alias of Yoneda contravariant functor:

`yai` : t a _ `AR____` target ( source ( o ) ( a ) ) ( t o _ )

Available stretched versions (starting precedence is 9):

`ha_` `ha__` `ha___` `ha____` `ha_____` `ha______`