mathlib3 documentation

category_theory.preadditive.left_exact

Left exactness of functors between preadditive categories #

THIS FILE IS SYNCHRONIZED WITH MATHLIB4. Any changes to this file require a corresponding PR to mathlib4.

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 #

A functor between preadditive categories preserves the equalizer of two morphisms if it preserves all kernels.

Equations

A functor between preadditive categories which preserves kernels preserves all finite limits.

Equations

A functor between preadditive categoris preserves the coequalizer of two morphisms if it preserves all cokernels.

Equations

A functor between preadditive categories which preserves kernels preserves all finite limits.

Equations