Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ho/

[H]om functor mapping c[O]variantly
`ho` : target ( t _ a ) ( 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` : target ( t _ a ) ( target ( source ( a ) ( o ) ) ( t _ o ) )

Available stretched versions (starting precedence is 9):

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