Murat Kasimov

More about me

Я language (β)

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

[H]om contr[A]variant functor (`ha`) [Y]oneda c[O]variant functor (`yo`) `ha'yo` : t ( tt a ) _ `AR____` target ( source ( o ) ( a ) ) ( t ( tt o ) _ )

Available stretched versions (starting precedence is 9):

`ha_'yo` `ha__'yo` `ha___'yo` `ha____'yo` `ha_____'yo` `ha______'yo`