More Category Theory: The Grothendieck Topos

Theories and Theorems

In Category Theory, we generalized the notion of a presheaf (see Presheaves) to denote a contravariant functor from a category $latex mathbf{C}$ to sets. In this post, we do the same to sheaves (see Sheaves).

We note that the notion of an open covering was necessary in order to define the concept of a sheaf, since this was what allowed us to “patch together” the sections of the presheaf over the open subsets of a topological space. So before we can generalize sheaves we must first generalize open coverings and other concepts associated to it, such as intersections.

product, which is a diagram of objects $latex P$, $latex X$, $latex Y$, and morphisms $latex p_{1}: Prightarrow X$ and $latex p_{2}: Prightarrow Y$, and if there is another object $latex Q$ and morphisms $latex q_{1}: Qrightarrow X$ and $latex q_{2}: Qrightarrow Y$, then there is a unique morphism…

View original post 1,654 more words

This entry was posted in Philosophie. Bookmark the permalink.