# 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$ |