mathlib3 documentation

category_theory.limits.preserves.shapes.images

Preserving images #

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

In this file, we show that if a functor preserves span and cospan, then it preserves images.