Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
seperated_presheaf [2014/10/29 14:29] nikolaj |
seperated_presheaf [2014/12/11 17:27] nikolaj |
||
|---|---|---|---|
| Line 24: | Line 24: | ||
| Sections also fulfill function extensionality, which goes in the reverse direction | Sections also fulfill function extensionality, which goes in the reverse direction | ||
| - | $\left(\forall(x\in U).\,s(x)=(x)\right)\implies s=t$ | + | $\left(\forall(x\in U).\,s(x)=t(x)\right)\implies s=t$ |
| and consequently, if $C_U$ is a covering of $U$, then | and consequently, if $C_U$ is a covering of $U$, then | ||
| $\left(\forall(V\in C_U).\,s|_V=t|_V\right)\implies s=t$ | $\left(\forall(V\in C_U).\,s|_V=t|_V\right)\implies s=t$ | ||
