covariant functor

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