Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/hu/

[H]om through [U]nit `hu` : t _ a `AR____` target ( o ) ( t _ o )

Looks like a dot `hu` designating covariantly factoring 2/2 parameter through Unit object.

Original mapping of derived functor definition:

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

Basically it's an alias of Yoneda through [U]nit:

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

Available stretched versions (starting precedence is 9):

`hu_` `hu__` `hu___` `hu____` `hu_____` `hu______`