共变函子

covariant functor