contravariant functor

[ریاضیات] تابعگون پارادورا