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 ) )