Murat Kasimov

More about me

Я language (β)

/Я language (β)/Glossary/Hom Functor/

Hom-functor aliases are aliases for Yoneda ones where 1/2 argument is contravariant and 2/2 argument is covariant.

Yoneda mappings:

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

Hom Functor aliases:

`ha` : target ( t a _ ) ( target ( source o a ) ( t o _ ) )
`ho` : target ( t _ a ) ( target ( source a o ) ( t _ o ) )