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 cOvariant (positive) position of an argument.
Contravariant functors
Contravariant functors flip morphisms. We use a letter to designate a contrAvariant (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)