mathlib3 documentation

category_theory.limits.preserves.shapes.zero

Preservation of zero objects and zero morphisms #

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

We define the class preserves_zero_morphisms and show basic properties.

Main results #

We provide the following results: