Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ryu/

Lax co-[R]epresenting object (`rx`) [Y]oneda functor mapping through [U]nit (`yu`) `ryu` : a `AR____` target ( source ( t a ) ( o ) ) ( o )

Looks like a big circle `yi` with a dot `hu` inside designating covariantly factoring focused parameter through Unit object equipped with a wand `rx` designating Representing object.

Available stretched versions (starting precedence is 7):

`_ryu`