Murat Kasimov

More about me

Я language (β)

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

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

Available stretched versions (starting precedence is 9):

`ho_'yu` `ho__'yu` `ho___'yu` `ho____'yu` `ho_____'yu` `ho______'yu`