Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What does Variance of Functor mean? I have to show that composition of two functor is covariant if the two functor has same variance, and composition of functors is contravariant if they have different variance.

share|cite|improve this question

Functors map both objects and morphisms. Covariant functors preserve morphism composition: $F(f \circ g) = F(f) \circ F(g)$. However, contravariant functors reverse this composition: $F(f \circ g) = F(g) \circ F(f)$.

So if you compose two functors of the same variance, you'll either get preserve + preserve = preserve or flip + flip = preserve (flip twice and you're back in order).

On the other hand if two functors have opposite variance, you'll have preserve + flip = flip (flipping once and preserve order once will result in flipping the order around).

share|cite|improve this answer
+1 very well put :-) – magma Mar 7 '14 at 9:42

"Variance" means the same type: either covariant ar contravariant.

So you are asked to show that the composition of two covariant or two contravariant functors is covarient, and that composition of a covariant functor with contravariant (in any order) is contravariant.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.