2025-03-14

Cech

what is cech

There are three things that has to do with the Cech cover

Here is a confusion: what is a space? Say for two different spaces, $X$ and $Y$, we both can cover by some Cech cover $U_i$ and $V_i$, labelled by $i=1,\cdots, N$, and they produce a bunch of spaces $U_I$ and $V_I$. And we use some machinary to produce a bunch of categories, the Cech diagram indexed categories, $A_I$ and $B_I$. For example, consider the space $\P^n$ and a hypersurface in it, both have the standard Cech covering. The diagram itself does not carry any topology. The categories and functors and natural transformations and maybe higher coherence data carries info.

This is the story of ordinary category with hom set, and non-derived hom. This covers how to glue up a category, this is a functor from the Cech cover poset category to the $(2,1)$ category of categories, and how to glue up a sheaf (an object)