Murat Kasimov

More about me

Я language (β)

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

[Y]oneda functor mapping c[O]variantly (`yo`) [Y]oneda functor mapping covariantly through [U]nit (`yu`) `yo'yu` : t ( tt a ) `AR__` target ( u ) ( t ( tt o ) )

Original mapping of derived functor definition:

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

This operator is available for functors with multiple parameters:

`yio'yu` : t _ ( tt a ) `AR__` target ( u ) ( t _ ( tt o ) ) `yoi'yu` : t ( tt a ) _ `AR__` target ( u ) ( t ( tt o ) _ ) `yo'yiu` : t ( tt _ a ) `AR__` target ( u ) ( t ( tt _ o ) ) `yo'yui` : t ( tt a _ ) `AR__` target ( u ) ( t ( tt o _ ) ) `yio'yiu` : t _ ( tt _ a ) `AR__` target ( u ) ( t _ ( tt _ o ) ) `yoi'yui` : t ( tt a _ ) _ `AR__` target ( u ) ( t ( tt o _ ) _ ) `yoi'yiu` : t ( tt _ a ) _ `AR__` target ( u ) ( t ( tt _ o ) _ ) `yio'yui` : t _ ( tt a _ ) `AR__` target ( u ) ( t _ ( tt o _ ) )

Available stretched versions (starting precedence is 8):

`yo_'yu`, `yo__'yu`, `yo___'yu`, `yo____'yu`, `yo_____'yu`, `yo______'yu`, `yo_______'yu`