inverse system
دستگاه وارون
فانکتور پادوردا
تابعگون پادوردا
contravariant functor
تابعگون
functor
ریخت
morphism