- Thread starter
- #1
A presheaf on $X$ is called a sheaf if for all open $U\subseteq X$ where $U$ is fixed, all families $U_i\subseteq U$ such that $U_i$ is open, and $U = \bigcup\limits_{i\in I} U_i$ (an open covering) we have:What is a sheaf and a presheaf?