在范畴论中，正合函子（或译作恰当函子）是保存有限极限的函子。在阿贝尔范畴中，这就相当于保存正合串行的函子。

设 为阿贝尔范畴， 为加法函子。若对每个正合串行

取 后得到的串行

仍为正合串行，则称 为正合函子。

由于正合串行总能拆解为短正合串行，在定义中仅须考虑短正合串行即可。

此外，若对每个短正合串行 ，其像截去尾端零对象后 为正合串行，则称 是左正合函子；类似地，若 为正合串行，则称 是右正合函子。正合性等价于左正合性＋右正合性。

In homological algebra, an exact functor is a functor that preserves exact sequences. Exact functors are convenient for algebraic calculations because they can be directly applied to presentations of objects. Much of the work in homological algebra is designed to cope with functors that fail to be exact, but in ways that can still be controlled.