Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ha/

[H]om functor mapping contr[A]variantly
`ha` : target ( t a _ ) ( 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` : target ( t a _ ) ( target ( source ( o ) ( a ) ) ( t o _ ) )

Available stretched versions (starting precedence is 9):

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