If you want to know more how functors are used in Я I recommend you to check out Natural transformation as a basis of control article.
Overview
Functor is a mapping between categories.
Depends the way functors map morphisms they could be either covariant or contravariant.
Covariant functors
Covariant functors map morphisms as it is. We use o
letter to designate a c[O]variant
(positive) position of an argument (ho, yo, yio, yok, yokl).
Contravariant functors
Contravariant functors flip morphisms. We use a
letter to designate a contr[A]variant
(negative) position of an argument.
You can compare these functor mapping expressions (fo/fa):
fo : from a o `AR_` into (t a) (t o)
fa : from o a `AR_` into (t a) (t o)
Yoneda functors
However I recommend you to use a Yoneda version of these operators (yo/ya):
`yo` : t a `AR_` into (from a o) (t o)
`ya` : t a `AR_` into (from o a) (t o)