Sheaf

Creator
Creator
Seonglae Cho
Created
Created
2025 Jan 4 23:28
Editor
Edited
Edited
2025 Jul 13 22:44
F ⁣:Open(X)opSets,(Locality)s,tF(U),  sUi=tUi  i    s=t,(Gluing)siF(Ui),  siUiUj=sjUiUj  i,j    !sF(U):sUi=si.\begin{aligned} \mathcal{F}\colon \mathrm{Open}(X)^\mathrm{op} &\to \mathbf{Sets},\\ \text{(Locality)}\quad s,t\in\mathcal{F}(U),\;s|_{U_i}=t|_{U_i}\;\forall i &\implies s=t,\\ \text{(Gluing)}\quad s_i\in\mathcal{F}(U_i),\;s_i|_{U_i\cap U_j}=s_j|_{U_i\cap U_j}\;\forall i,j &\implies \exists!\,s\in\mathcal{F}(U):s|_{U_i}=s_i. \end{aligned}
Sheaf Notion
 
 
 
 
 
 
 

Recommendations