Documentation

Mathlib.CategoryTheory.Preadditive.LeftExact

Left exactness of functors between preadditive categories #

We show that a functor is left exact in the sense that it preserves finite limits, if it preserves kernels. The dual result holds for right exact functors and cokernels.

Main results #