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`