Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/har/

(`ha`) [H]om functor alias mapping contr[A]variantly (`xr`) Lax [R]epresenting object
`har` : target ( t a i ) ( source a i )

Looks like a bullet point `ha` inside designating contravariant position of a focused parameter equipped with a wand `xr` designating Representing object.

Basically it's an alias of Yoneda contravariant functor with another parameter as a Representing object:

`yair` : target ( t a i ) ( source a i )

Available stretched versions (starting precedence is 8):

`har_`, `har__`, `har___`, `har____`, `har_____`, `har______`, `har_______`