Murat Kasimov

More about me

Я language (β)

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

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

Yoneda mappings:

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

Hom Functor aliases:

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