左正合共变函子

left exact covariant functor