Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
presheaf_category [2014/07/21 21:01]
nikolaj
presheaf_category [2015/02/21 12:10]
nikolaj
Line 4: Line 4:
 | @#FFBB00: definiendum | @#FFBB00: ${\bf Set}^{{\bf C}^\mathrm{op}}$ | | @#FFBB00: definiendum | @#FFBB00: ${\bf Set}^{{\bf C}^\mathrm{op}}$ |
  
-==== Discussion ====+-----
 The co- and contravariant hom-functors $\mathrm{Hom}(B,​-)$ and $\mathrm{Hom}(-,​B)$ are maybe the most natural functors. While forgetful functors are other examples of covariant set-valued functors, covariant functors very often have to do with function spaces. (Once we pass from presheaves to sheaves by adding some more "​topological requirements",​ this becomes a theorem: sheaves can always be viewed as evaluating to collections of function spaces.) The co- and contravariant hom-functors $\mathrm{Hom}(B,​-)$ and $\mathrm{Hom}(-,​B)$ are maybe the most natural functors. While forgetful functors are other examples of covariant set-valued functors, covariant functors very often have to do with function spaces. (Once we pass from presheaves to sheaves by adding some more "​topological requirements",​ this becomes a theorem: sheaves can always be viewed as evaluating to collections of function spaces.)
- 
-=== Example === 
-Consider $\mathbb C\setminus\{0\}$ and all its open subsets as objects in a category with single arrows representing the inclusions. Using the exponential map $\mathrm{exp}$,​ we define the sheaf $F$ mapping an open set $U\subseteq \mathbb C$ to the set $FU$ of all sections $s$ with $\mathrm{exp}\circ s=\mathrm{id}$ and the arrows maps being restrictions of sections to the smaller open set. This way we have constructed the sheaf of all branches of the logarithm! The maximal analytical continuation can now be characterized as the section over the largest open set, where largeness is determined by climbing up the arrows. 
- 
-Sheaf theory is used for discussing the idea of analytical continuation and applying it too subjects which don't necessarily have to do with complex numbers. The image of the functor can contain other objects than sections (e.g. vector bundles as in K-theory, or spaces of differential forms, etc.) and the category itself doesn'​t have to be a classical topological space (see Grothendieck topology). 
  
 === Reference === === Reference ===
 Wikipedia: ​ Wikipedia: ​
-[[http://​en.wikipedia.org/​wiki/​Yoneda_lemma|Yoneda lemma]]+[[http://​en.wikipedia.org/​wiki/​Yoneda_lemma|Yoneda lemma]], 
 +[[http://​en.wikipedia.org/​wiki/​Functor_category|Functor category]]
  
-=== Reference === +-----
-Wikipedia: [[http://​en.wikipedia.org/​wiki/​Functor_category|Functor category]] +
-==== Parents ====+
 === Subset of === === Subset of ===
 [[Functor category]] [[Functor category]]
Link to graph
Log In
Improvements of the human condition