mathlib documentation

category_theory.abelian.opposite

The opposite of an abelian category is abelian. #

The kernel of f.op is the opposite of cokernel f.

Equations