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`