Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ha'yu/

[H]om contr[A]variant functor (`ha`) [Y]oneda through [U]nit (`yu`) `ha'yu` : t ( tt a ) _ `AR____` target ( ttt o ) ( t ( tt o ) _ )

Available stretched versions (starting precedence is 9):

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