短语词组短语half exact covariant functor [数]半正合共变函子half exact contravariant functor [数]半正合反变函子half cooling time exact functor 半正合函子 返回 half exact functor