Documentation

Mathlib.CategoryTheory.Sites.LeftExact

Left exactness of sheafification #

In this file we show that sheafification commutes with finite limits.