\(\coprod_x A_x\)
\( p:\coprod_{x\in X}\sigma_x \rightarrow \coprod_{x\in X} A_x \)
\(\coprod_{x\in X}\sigma_x \) \( (\coprod_{U\in |Open(X)|} A(U))\times X \)
\( \{(a, x) \in (\coprod_{U\in |Open(X)|} A(U))\times X | x \in def(a)\} \)
\(\coprod_x A_x\)
\( p:\coprod_{x\in X}\sigma_x \rightarrow \coprod_{x\in X} A_x \)
\(\coprod_{x\in X}\sigma_x \) \( (\coprod_{U\in |Open(X)|} A(U))\times X \)
\( \{(a, x) \in (\coprod_{U\in |Open(X)|} A(U))\times X | x \in def(a)\} \)