Differences

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

Link to this comparison view

Both sides previous revision Previous revision
seperated_presheaf [2014/10/29 14:29]
nikolaj
seperated_presheaf [2014/12/11 17:27] (current)
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$
Link to graph
Log In
Improvements of the human condition