Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/yu/

[Y]oneda through [U]nit `yu` : t a `AR____` target ( o ) ( t o )

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

Original mapping of derived functor definition:

: ( o ) `AR____` target ( t a ) ( t o )

This operator is available for functors with multiple parameters:

`yui` : t a _ `AR____` target ( o ) ( t o _ ) `yiu` : t _ a `AR____` target ( o ) ( t _ o )

Available stretched versions (starting precedence is 8):

`yu_` `yu__` `yu___` `yu____` `yu_____` `yu______`