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