sheaf (Q595298)
collection of objects associated to subsets of a space in a manner admitting gluing and restriction
Language:
Current Data About sheaf
(P61) (Q441143)
(P279) (Q7241077)
(Q7595945)
(P575) +1947-00-00T00:00:00Z
(P1552) (Q91783823)
(Q17103642)
(P1889) (Q942040)
(P2534) \begin{align}&F\colon{\rm Open}(X)^{\rm op}\to{\rm Set}\\&U=\bigcup_{i\in I}U_i\land s,t\in F(U)\land(\forall i\in I\colon s\restriction U_i=t\restriction U_i)\implies s=t\\&U=\bigcup_{i\in I}U_i\land\forall i\in I\colon s_i\in F(U_i)\land\forall i,j\in I\colon s_i\restriction U_i\cap U_j=s_j\restriction U_i\cap U_j\implies\exists s\in F(U)\forall i\in I\colon s_i=s\restriction U_i\end{align}
(P2579) (Q77827144)
(P5008) (Q6173448)
(P6104) (Q8487137)
other details
description collection of objects associated to subsets of a space in a manner admitting gluing and restriction

External Links