在范畴论中，正合函子（或译作恰当函子）是保存有限极限的函子。在阿贝尔范畴中，这就相当于保存正合序列的函子。
阿贝尔范畴间的正合函子.设 formula_1 为阿贝尔范畴，formula_2 为加法函子。若对每个正合序列取 formula_4 后得到的序列仍为正合序列，则称 formula_4 为正合函子。由于正合序列总能拆解为短正合序列，在定义中仅须考虑短正合序列即可。此外，若对每个短正合序列 formula_7，其像截去尾端零对象后 formula_8 为正合序列