Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
sheaf [2014/10/29 10:12] nikolaj |
sheaf [2014/10/29 10:15] nikolaj |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| ==== Discussion ==== | ==== Discussion ==== | ||
| + | As in [[seperated presheaf]], $t|_V$ denotes the image of $t$ under $F(i)$ with $i:V\to W$. | ||
| + | |||
| ===Elaboration=== | ===Elaboration=== | ||
| Previously, we defined the 'Locality axiom' which makes a [[presheaf . topology|presheaf]] into a [[seperated presheaf]]. The postulate in this entry is the second axiom which makes a [[seperated presheaf]] into a sheaf. | Previously, we defined the 'Locality axiom' which makes a [[presheaf . topology|presheaf]] into a [[seperated presheaf]]. The postulate in this entry is the second axiom which makes a [[seperated presheaf]] into a sheaf. | ||
