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______`