Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ho/

[H]om c[O]variant functor `ho` : t _ a `AR____` target ( source ( a ) ( o ) ) ( t _ o )

Looks like a bullet point `ho` designating covariant position of a 2/2 parameter.

Original mapping of derived functor definition:

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

Basically it's an alias of Yoneda covariant functor:

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

Available stretched versions (starting precedence is 9):

`ho_` `ho__` `ho___` `ho____` `ho_____` `ho______`