อนุญาต${\displaystyle X}$เป็นปริภูมิเชิงทอพอ โลยี พรีชีฟ${\displaystyle {\mathcal {F}}}$ของชุดบน${\displaystyle X}$ประกอบด้วยข้อมูลดังต่อไปนี้:

• สำหรับแต่ละชุดเปิด${\displaystyle U\subseteq X}$มีเซตอยู่${\displaystyle {\mathcal {F}}(U)}$เซตนี้ยังถูกกำหนดด้วยสัญลักษณ์อื่นอีกด้วย${\displaystyle \Gamma (U,{\mathcal {F}})}$องค์ประกอบในเซตนี้เรียกว่าส่วนต่างๆของ เซต${\displaystyle {\mathcal {F}}}$เกิน${\displaystyle U}$ส่วนต่างๆ ของ${\displaystyle {\mathcal {F}}}$เกิน${\displaystyle X}$เรียกว่าส่วนต่างๆ ทั่วโลกของ${\displaystyle {\mathcal {F}}}$.
• สำหรับการรวมเซตเปิดแต่ละครั้ง${\displaystyle V\subseteq U}$ฟังก์ชัน${\displaystyle \operatorname {res} _{V}^{U}\colon {\mathcal {F}}(U)\rightarrow {\mathcal {F}}(V)}$จากตัวอย่างมากมายด้านล่างนี้ มอร์ฟิซึม${\displaystyle {\text{res}}_{V}^{U}}$เรียกว่ามอร์ฟิซึมแบบจำกัด (restriction morphisms ) ถ้า${\displaystyle s\in {\mathcal {F}}(U)}$จากนั้นจึงมีข้อจำกัด${\displaystyle {\text{res}}_{V}^{U}(s)}$มักจะถูกระบุว่า${\displaystyle s|_{V}}$โดยเปรียบเทียบกับการจำกัดฟังก์ชัน

มอร์ฟิซึมการจำกัดจะต้องมีคุณสมบัติเพิ่มเติมอีกสองประการ ( เชิงฟังก์ชัน ):

• สำหรับชุดเปิดทุกชุด${\displaystyle U}$ของ${\displaystyle X}$มอร์ฟิซึมการจำกัด${\displaystyle \operatorname {res} _{U}^{U}\colon {\mathcal {F}}(U)\rightarrow {\mathcal {F}}(U)}$คือมอร์ฟิซึมเอกลักษณ์บน${\displaystyle {\mathcal {F}}(U)}$.
• ถ้าเรามีเซตเปิดสามเซต${\displaystyle W\subseteq V\subseteq U}$จากนั้นจึงประกอบเป็นวัสดุผสม${\displaystyle {\text{res}}_{W}^{V}\circ {\text{res}}_{V}^{U}={\text{res}}_{W}^{U}}$.

โดยคร่าวๆ แล้ว สัจพจน์ข้อที่สองกล่าวว่า ไม่สำคัญว่าเราจะจำกัดขอบเขตไว้หรือไม่${\displaystyle W}$ในขั้นตอนเดียวหรือจำกัดก่อนเป็นอันดับแรก${\displaystyle V}$จากนั้นไปยัง${\displaystyle W}$การกำหนดนิยามนี้ใหม่ในเชิงฟังก์ชันอย่างกระชับจะกล่าวถึงในส่วนถัดไป

ตัวอย่างของพรีชีฟจำนวนมากมาจากฟังก์ชันประเภทต่างๆ เช่น ฟังก์ชันใดๆ ก็ตาม${\displaystyle U}$สามารถกำหนดชุดได้${\displaystyle C^{0}(U)}$ของฟังก์ชันค่าจริงต่อเนื่องบน${\displaystyle U}$แผนที่การจำกัดจะถูกกำหนดโดยการจำกัดฟังก์ชันต่อเนื่องบน${\displaystyle U}$ไปยังเซตย่อยแบบเปิดที่เล็กลง${\displaystyle V\subseteq U}$ซึ่งก็คือฟังก์ชันต่อเนื่องอีกตัวหนึ่ง เงื่อนไขสองข้อของพรีชีฟจะถูกตรวจสอบทันที ทำให้ได้ตัวอย่างของพรีชีฟ ซึ่งสามารถขยายไปสู่พรีชีฟของฟังก์ชันโฮโลมอร์ฟิกได้${\displaystyle {\mathcal {H}}(-)}$และกลุ่มฟังก์ชันที่ราบรื่น${\displaystyle C^{\infty }(-)}$.

ตัวอย่างที่พบได้ทั่วไปอีกประเภทหนึ่งคือการกำหนดค่าให้กับ${\displaystyle U}$เซตของฟังก์ชันค่าจริงคงที่บน${\displaystyle U}$พรีชีฟนี้เรียกว่าพรีชีฟคงที่ที่เกี่ยวข้องกับ${\displaystyle \mathbb {R} }$และถูกกำหนดให้เป็น${\displaystyle {\underline {\mathbb {R} }}^{\text{psh}}}$.

เมื่อกำหนดพรีชีฟแล้ว คำถามที่เกิดขึ้นตามธรรมชาติคือ พรีชีฟนั้นสามารถแบ่งส่วนเหนือเซตเปิดได้มากน้อยเพียงใด${\displaystyle U}$ถูกกำหนดโดยข้อจำกัดของเซตย่อยแบบเปิดของ${\displaystyle U}$ฟ่อนข้าวคือฟ่อนข้าวที่ยังไม่ได้มัด ซึ่งส่วนต่างๆ ของฟ่อนนั้น ในเชิงเทคนิคแล้ว จะถูกกำหนดอย่างเฉพาะเจาะจงโดยข้อจำกัดของฟ่อนนั้นๆ

ตามหลักการพื้นฐานแล้วชีฟ (sheaf)คือพรีชีฟ (presheaf) ที่ตรงตามสัจพจน์ทั้งสองข้อต่อไปนี้:

1. ( สถานที่ตั้ง ) สมมติว่า${\displaystyle U}$เป็นเซตแบบเปิด${\displaystyle \{U_{i}\}_{i\in I}}$เป็นฝาครอบที่เปิดอยู่ของ${\displaystyle U}$กับ${\displaystyle U_{i}\subseteq U}$สำหรับทุกคน${\displaystyle i\in I}$, และ${\displaystyle s,t\in {\mathcal {F}}(U)}$เป็นส่วนต่างๆ ถ้า${\displaystyle s|_{U_{i}}=t|_{U_{i}}}$สำหรับทุกคน${\displaystyle i\in I}$, แล้ว${\displaystyle s=t}$.
2. ( การติดกาว ) สมมติว่า${\displaystyle U}$เป็นเซตแบบเปิด${\displaystyle \{U_{i}\}_{i\in I}}$เป็นฝาครอบที่เปิดอยู่ของ${\displaystyle U}$กับ${\displaystyle U_{i}\subseteq U}$สำหรับทุกคน${\displaystyle i\in I}$, และ${\displaystyle \{s_{i}\in {\mathcal {F}}(U_{i})\}_{i\in I}}$เป็นกลุ่มของส่วนต่างๆ หากส่วนทุกคู่เห็นพ้องต้องกันเกี่ยวกับการทับซ้อนของขอบเขต นั่นคือ ถ้า${\displaystyle s_{i}|_{U_{i}\cap U_{j}}=s_{j}|_{U_{i}\cap U_{j}}}$สำหรับทุกคน${\displaystyle i,j\in I}$จากนั้นก็จะมีส่วนหนึ่งอยู่${\displaystyle s\in {\mathcal {F}}(U)}$โดยที่${\displaystyle s|_{U_{i}}=s_{i}}$สำหรับทุกคน${\displaystyle i\in I}$[ ^{1 ]​}

• 
  ส่วนต่างๆ เหนือช่องเปิดสองช่องของพื้นที่สองจุด
• 
  การติดกาวชิ้นส่วนที่เข้ากันได้เข้ากับชิ้นส่วนหลักเหนือจุดเชื่อมต่อ

ในสัจพจน์ทั้งสองนี้ สมมติฐานเกี่ยวกับฝาครอบแบบเปิดนั้นเทียบเท่ากับสมมติฐานที่ว่า${\textstyle \bigcup _{i\in I}U_{i}=U}$.

ส่วนนั้น${\displaystyle s}$การมีอยู่ของสิ่งนี้ได้รับการรับประกันโดยสัจพจน์ข้อที่ 2 เรียกว่าการเชื่อมต่อการต่อกันหรือการเรียงลำดับของส่วนต่างๆ${\displaystyle s_{i}}$ตามสัจพจน์ข้อที่ 1 มันจึงมีเอกลักษณ์เฉพาะตัว ส่วนต่างๆ${\displaystyle s_{i}}$และ${\displaystyle s_{j}}$ส่วนที่ตรงตามเงื่อนไขเบื้องต้นของข้อตกลงในสัจพจน์ข้อ 2 มักเรียกว่าเข้ากันได้ ดังนั้นสัจพจน์ข้อ 1 และข้อ 2 จึงระบุว่าส่วนต่างๆ ที่เข้ากันได้เป็นคู่ๆ สามารถเชื่อมต่อกันได้โดยไม่ซ้ำ กัน พรีชีฟที่แยกออกจากกันหรือโมโนพรีชีฟคือพรีชีฟที่ตรงตามสัจพจน์ข้อ 1 ^{[ 2 ]}

พรีชีฟที่ประกอบด้วยฟังก์ชันต่อเนื่องที่กล่าวถึงข้างต้นคือชีฟ ข้อความนี้ลดลงเหลือเพียงการตรวจสอบว่า เมื่อกำหนดฟังก์ชันต่อเนื่องแล้ว${\displaystyle f_{i}:U_{i}\to \mathbb {R} }$ซึ่งเห็นพ้องกันในจุดตัด${\displaystyle U_{i}\หมวก U_{j}}$มีฟังก์ชันต่อเนื่องที่ไม่ซ้ำกันเพียงหนึ่งเดียว${\displaystyle f:U\to \mathbb {R} }$ซึ่งข้อจำกัดนั้นเท่ากับ${\displaystyle f_{i}}$ในทางตรงกันข้าม พรีชีฟคงที่มักจะไม่ใช่ชีฟ เนื่องจากไม่เป็นไปตามสัจพจน์ความเป็นท้องถิ่นบนเซตว่าง (รายละเอียดเพิ่มเติมอธิบายไว้ในหัวข้อชีฟคงที่ )

โดยทั่วไปแล้ว มัดฟางและมัดฟางจะใช้ตัวอักษรพิมพ์ใหญ่ในการแสดง${\displaystyle F}$โดยเฉพาะอย่างยิ่งพบได้บ่อยใน คำภาษา ฝรั่งเศสที่แปลว่าฟ่อนข้าว คือfaisceauการใช้ตัวอักษรวิจิตรศิลป์ เช่น${\displaystyle {\mathcal {F}}}$ก็พบได้ทั่วไปเช่นกัน

สามารถแสดงได้ว่า การระบุชีฟนั้น เพียงพอแล้วที่จะระบุข้อจำกัดของชีฟนั้นบนเซตเปิดของฐานสำหรับโทโพโลยีของปริภูมิพื้นฐาน ยิ่งไปกว่านั้น ยังสามารถแสดงได้ว่า เพียงพอแล้วที่จะตรวจสอบสัจพจน์ของชีฟข้างต้นที่สัมพันธ์กับเซตเปิดของการคลุม การสังเกตนี้ใช้ในการสร้างตัวอย่างอีกตัวอย่างหนึ่งซึ่งมีความสำคัญในเรขาคณิตเชิงพีชคณิต นั่นคือชีฟกึ่งสอดคล้องกันในที่นี้ ปริภูมิโทโพโลยีที่กล่าวถึงคือสเปกตรัมของวงแหวนสลับที่${\displaystyle R}$ซึ่งจุดต่างๆ เหล่านั้นคืออุดมคติหลัก${\displaystyle {\mathfrak {p}}}$ใน${\displaystyle R}$เซตเปิด${\displaystyle D_{f}:=\{{\mathfrak {p}}\subseteq R,f\notin {\mathfrak {p}}\}}$สร้างพื้นฐานสำหรับโทโพโลยี Zariskiบนปริภูมินี้ กำหนดให้${\displaystyle R}$-โมดูล${\displaystyle M}$มีมัดฟางอยู่มัดหนึ่ง ซึ่งแสดงด้วย${\displaystyle {\tilde {M}}}$บน${\displaystyle \operatorname {Spec} R}$ซึ่งเป็นที่น่าพอใจ $${\displaystyle {\tilde {M}}(D_{f}):=M[1/f],}$$ ที่ไหน${\displaystyle M[1/f]}$คือการกำหนดตำแหน่งของ${\displaystyle M}$ที่${\displaystyle f}$.

มีการกำหนดลักษณะของมัดเชือกอีกแบบหนึ่งที่เทียบเท่ากับที่ได้กล่าวถึงไปก่อนหน้านี้ นั่นคือ มัดเชือกก่อน (presheaf)${\displaystyle {\mathcal {F}}}$จะเป็นมัดก็ต่อเมื่อสำหรับการเปิดใดๆ${\displaystyle U}$และฝาครอบที่เปิดอยู่ใดๆ${\displaystyle \{U_{a}\}}$ของ${\displaystyle U}$,${\displaystyle {\mathcal {F}}(U)}$เป็นผลิตภัณฑ์เส้นใย${\displaystyle {\mathcal {F}}(U)\cong {\mathcal {F}}(U_{a})\times _{{\mathcal {F}}(U_{a}\cap U_{b})}{\mathcal {F}}(U_{b})}$ลักษณะเฉพาะนี้มีประโยชน์ในการสร้างชีฟ ตัวอย่างเช่น ถ้า${\displaystyle {\mathcal {F}},{\mathcal {G}}}$ถ้าชีฟเป็นแบบอาเบเลียนแล้วเคอร์เนลของมอร์ฟิซึมชีฟจะเป็นแบบนั้น${\displaystyle {\mathcal {F}}\to {\mathcal {G}}}$โคเคอร์เนลเป็นชีฟ เนื่องจากลิมิตเชิงโปรเจกทีฟสามารถสลับที่กับลิมิตเชิงโปรเจกทีฟได้ ในทางกลับกัน โคเคอร์เนลไม่จำเป็นต้องเป็นชีฟเสมอไป เพราะลิมิตเชิงอุปนัยไม่จำเป็นต้องสลับที่กับลิมิตเชิงโปรเจกทีฟ วิธีหนึ่งในการแก้ไขปัญหานี้คือการพิจารณาปริภูมิเชิงทอพอโลยีแบบโนเธอร์เรียน เซตเปิดทั้งหมดเป็นเซตกระชับ ดังนั้นโคเคอร์เนลจึงเป็นชีฟ เนื่องจากลิมิตเชิงโปรเจกทีฟจำกัดสามารถสลับที่กับลิมิตเชิงอุปนัยได้

หนึ่งในแรงจูงใจทางประวัติศาสตร์สำหรับชีฟมาจากการศึกษา แม ^นิโฟลด์เชิงซ้อน [ ^{4 ]}เรขาคณิตเชิงวิเคราะห์เชิงซ้อน [ ^{5 ]}และทฤษฎีสกีม^จากเรขาคณิตพีชคณิตนี่เป็นเพราะในทุกกรณีที่กล่าวมาข้างต้น เราพิจารณาพื้นที่โทโพโลยี${\displaystyle X}$พร้อมกับโครงสร้างมัด${\displaystyle {\mathcal {O}}}$โดยมอบโครงสร้างแบบแมนิโฟลด์เชิงซ้อน ปริภูมิเชิงวิเคราะห์เชิงซ้อน หรือสกีมให้แก่ปริภูมิเชิงทอพอโลยี มุมมองนี้ในการมอบชีฟให้แก่ปริภูมิเชิงทอพอโลยีมีความสำคัญอย่างยิ่งต่อทฤษฎีของปริภูมิที่มีวงแหวนเฉพาะที่ (ดูด้านล่าง)

โดยคร่าวๆ แล้ว มอร์ฟิซึมของชีฟนั้นคล้ายคลึงกับฟังก์ชันระหว่างชีฟเหล่านั้น แต่ต่างจากฟังก์ชันระหว่างเซตซึ่งเป็นเพียงการกำหนดค่าเอาต์พุตให้กับอินพุตเท่านั้น มอร์ฟิซึมของชีฟยังต้องเข้ากันได้กับโครงสร้างระดับท้องถิ่นและระดับสากลของชีฟพื้นฐานด้วย แนวคิดนี้ได้รับการอธิบายให้ชัดเจนยิ่งขึ้นในคำจำกัดความต่อไปนี้

อนุญาต${\displaystyle {\mathcal {F}}}$และ${\displaystyle {\mathcal {G}}}$เป็นชีฟของเซตสองชีฟ (หรือกลุ่มอาเบเลียน วงแหวน ฯลฯ ตามลำดับ) บน${\displaystyle X}$มอ ร์ฟิซึม${\displaystyle \varphi$ :{\mathcal {F}}\to {\mathcal {G}}} ประกอบด้วยมอร์ฟิซึม${\displaystyle \varphi _{U}:{\mathcal {F}}(U)\to {\mathcal {G}}(U)}$ของเซต (หรือกลุ่มอาเบเลียน วงแหวน ฯลฯ) สำหรับแต่ละเซตเปิด${\displaystyle U}$ของ${\displaystyle X}$โดยมีเงื่อนไขว่าการแปลงนี้ต้องเข้ากันได้กับข้อจำกัด กล่าวอีกนัยหนึ่งคือ สำหรับทุกเซตย่อยเปิด${\displaystyle V}$ของเซตเปิด${\displaystyle U}$แผนภาพต่อไปนี้เป็นแบบสลับที่ได้

$${\displaystyle {\begin{array}{rcl}{\mathcal {F}}(U)&\xrightarrow {\quad \varphi _{U}\quad } &{\mathcal {G}}(U)\\r_{V}^{U}{\Biggl \downarrow }&&{\Biggl \downarrow }{r'}_{V}^{U}\\{\mathcal {F}}(V)&{\xrightarrow[{\quad \varphi _{V}\quad }]{}}&{\mathcal {G}}(V)\end{array}}}$$

ตัวอย่างเช่น การหาอนุพันธ์จะให้มอร์ฟิซึมของชีฟบน${\displaystyle \mathbb {R} }$,

$${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\colon {\mathcal {O}}_{\mathbb {R} }^{n}\to {\mathcal {O}}_{\mathbb {R} }^{n-1}.}$$

อันที่จริง เมื่อพิจารณาจาก (${\displaystyle n}$ฟังก์ชัน (อนุพันธ์ต่อเนื่อง)${\displaystyle f:U\to \mathbb {R} }$(กับ${\displaystyle U}$ใน${\displaystyle \mathbb {R} }$เปิด) ข้อจำกัด (ไปยังเซตย่อยที่เปิดเล็กกว่า)${\displaystyle V}$) ของอนุพันธ์ของมันเท่ากับอนุพันธ์ของ${\displaystyle f|_{V}}$.

ด้วยแนวคิดเรื่องมอร์ฟิซึมนี้ ชีฟของเซต (หรือกลุ่มอาเบเลียน วงแหวน ฯลฯ) บนปริภูมิเชิงทอพอโลยีที่กำหนดไว้${\displaystyle X}$ก่อให้เกิดหมวดหมู่ดังนั้นแนวคิดเชิงหมวดหมู่ทั่วไปของโมโนมอร์ ฟิซึม เอ พิมอร์ฟิซึมและไอโซมอร์ฟิซึมจึงสามารถนำไปใช้กับชีฟได้

อันที่จริง จากมุมมองของทฤษฎีหมวดหมู่ หมวดหมู่ของชีฟเหนือหมวดหมู่ (ขนาดเล็ก)${\displaystyle C}$โดยมีค่าอยู่ในหมวดหมู่อื่น${\displaystyle D}$เป็นหมวดหมู่ย่อยเต็มรูปแบบของหมวดหมู่ของพรีชีฟเหนือ${\displaystyle C}$โดยมีค่าอยู่ใน${\displaystyle D}$ซึ่งก็คือหมวดหมู่นั่นเอง${\displaystyle D^{C^{\text{op}}}}$ของฟังก์ชันคอนทราแวเรียนต์จาก${\displaystyle C}$ถึง${\displaystyle D}$โดยมีการเปลี่ยนแปลงตามธรรมชาติระหว่างกันในรูปแบบของมอร์ฟิซึม: แนวคิดของมอร์ฟิซึมที่นิยามไว้ข้างต้นสามารถกล่าวได้ง่ายๆ ว่า${\displaystyle \varphi }$เป็นการแปลงตามธรรมชาติระหว่างชีฟทั้งสองที่มองว่าเป็นฟังก์ชัน

มอร์ฟิซึม${\displaystyle \varphi \colon {\mathcal {F}}\rightarrow {\mathcal {G}}}$ของมัดฟ่อนบน${\displaystyle X}$เป็นการสมสัณฐาน (หรือเอกสัณฐาน) ก็ต่อเมื่อ สำหรับทุกเซตเปิด${\displaystyle U\subseteq X}$เรามีไอโซมอร์ฟิซึม${\displaystyle {\mathcal {F}}(U)\approx {\mathcal {G}}(U)}$ซึ่งเป็นเรื่องธรรมชาติเมื่อพิจารณาจากแผนที่การจำกัด ข้อความเหล่านี้ให้ตัวอย่างวิธีการทำงานกับชีฟโดยใช้ข้อมูลเฉพาะที่ แต่สิ่งสำคัญที่ควรทราบคือเราไม่สามารถตรวจสอบว่ามอร์ฟิซึมของชีฟเป็นเอพิโมร์ฟิซึมในลักษณะเดียวกันได้หรือไม่ อันที่จริง ข้อความที่แมปในระดับของเซตเปิด${\displaystyle \varphi _{U}\colon {\mathcal {F}}(U)\rightarrow {\mathcal {G}}(U)}$การที่เอพิโมฟิซึมของชีฟไม่ได้เป็นฟังก์ชันทั่วถึงเสมอไปนั้น เทียบเท่ากับการที่ฟังก์ชันภาคตัดทั่วโลกไม่มีความแม่นยำ หรือเทียบเท่ากับการที่โคฮอโมโลยีของชีฟไม่เป็นฟังก์ชันศูนย์

ลำต้น​${\displaystyle {\mathcal {F}}_{x}}$ของมัด${\displaystyle {\mathcal {F}}}$บันทึกคุณสมบัติของมัด "รอบ" จุดหนึ่ง${\displaystyle x\in X}$โดยสรุปแนวคิดพื้นฐานของฟังก์ชันในที่นี้ "รอบๆ" หมายความว่า ในเชิงแนวคิดแล้ว เราจะพิจารณาบริเวณรอบๆจุดนั้นที่เล็กลงเรื่อยๆ แน่นอนว่า ไม่มีบริเวณรอบๆ ใดที่จะเล็กพอ ซึ่งจำเป็นต้องพิจารณาขีดจำกัดบางอย่าง กล่าวโดยละเอียดแล้ว ก้าน (stalk) ถูกกำหนดโดย

$${\displaystyle {\mathcal {F}}_{x}=\varinjlim _{U\ni x}{\mathcal {F}}(U),}$$

ขีดจำกัดโดยตรง นั้น ครอบคลุมเซตย่อยเปิดทั้งหมดของ${\displaystyle X}$ประกอบด้วยจุดที่กำหนด${\displaystyle x}$กล่าวอีกนัยหนึ่ง องค์ประกอบของลำต้นนั้นได้มาจากส่วนตัดเหนือบริเวณใกล้เคียงแบบเปิดบางส่วนของ${\displaystyle x}$และส่วนสองส่วนดังกล่าวจะถือว่าเทียบเท่ากันหากข้อจำกัดของทั้งสองส่วนนั้นสอดคล้องกันในพื้นที่ใกล้เคียงที่มีขนาดเล็กกว่า

การเปลี่ยนแปลงรูปร่างตามธรรมชาติ${\displaystyle {\mathcal {F}}(U)\to {\mathcal {F}}_{x}}$ใช้ส่วนหนึ่ง${\displaystyle s}$ใน${\displaystyle {\mathcal {F}}(U)}$ถึงเชื้อ ของมัน${\displaystyle s_{x}}$ที่${\displaystyle x}$นี่เป็นการขยายความหมายของเชื้อโรคตาม แบบฉบับทั่วไป

ในหลายสถานการณ์ การรู้ข้อมูลเกี่ยวกับก้านของชีฟก็เพียงพอที่จะควบคุมชีฟนั้นได้แล้ว ตัวอย่างเช่น การทดสอบว่ามอร์ฟิซึมของชีฟเป็นโมโนมอร์ฟิซึม เอพิโมร์ฟิซึม หรือไอโซมอร์ฟิซึม สามารถทำได้โดยพิจารณาจากก้าน ในแง่นี้ ชีฟถูกกำหนดโดยก้านของมัน ซึ่งเป็นข้อมูลเฉพาะที่ ในทางตรงกันข้าม ข้อมูลโดยรวมที่มีอยู่ในชีฟ เช่นส่วนโดยรวมหรือส่วนต่างๆ นั้น${\displaystyle {\mathcal {F}}(X)}$ในพื้นที่ทั้งหมด${\displaystyle X}$โดยทั่วไปจะบรรจุข้อมูลน้อยกว่า ตัวอย่างเช่น สำหรับแมนิโฟลด์เชิงซ้อนขนาดกะทัดรัด${\displaystyle X}$ส่วนทั่วโลกของชีฟของฟังก์ชันโฮโลมอร์ฟิกก็คือ${\displaystyle \mathbb {C} }$เนื่องจากฟังก์ชันโฮโลมอร์ฟิกใดๆ${\displaystyle X\to \mathbb {C} }$คงที่ตามทฤษฎีบทของ Liouville ^{[ 6 ]}

การนำข้อมูลที่อยู่ในพรีชีฟมาแสดงผลในรูปแบบชีฟนั้นมักมีประโยชน์ และปรากฏว่ามีวิธีที่ดีที่สุดในการทำเช่นนี้ โดยวิธีนั้นจะใช้พรีชีฟเป็นตัวแปร${\displaystyle {\mathcal {F}}}$และผลิตฟ่อนใหม่${\displaystyle a{\mathcal {F}}}$เรียกว่าการมัดเป็นมัดหรือมัดที่เกี่ยวข้องกับมัดก่อน${\displaystyle {\mathcal {F}}}$ตัวอย่างเช่น การแปลงพรีชีฟคงที่ (ดูด้านบน) ให้เป็นชีฟคงที่ เรียกว่า ชีฟคงที่ แม้จะมีชื่อเช่นนั้น แต่ส่วนต่าง ๆ ของชีฟคงที่นั้นเป็นฟังก์ชันคงที่เฉพาะที่

มัดฟาง${\displaystyle a{\mathcal {F}}}$สามารถสร้างได้โดยใช้พื้นที่ étalé${\displaystyle E}$ของ${\displaystyle {\mathcal {F}}}$กล่าวคือ เป็นกลุ่มของส่วนต่างๆ ของแผนที่

$${\displaystyle E\to X.}$$

โครงสร้างมัดฟ่อนข้าวอีกแบบหนึ่ง${\displaystyle a{\mathcal {F}}}$ดำเนินการโดยใช้ฟังก์ชัน${\displaystyle L}$จากมัดรวงข้าวสำเร็จรูปไปจนถึงมัดรวงข้าวสำเร็จรูปที่ค่อยๆ ปรับปรุงคุณสมบัติของมัดรวงข้าวสำเร็จรูปให้ดีขึ้น: สำหรับมัดรวงข้าวสำเร็จรูปใดๆ${\displaystyle {\mathcal {F}}}$,${\displaystyle L{\mathcal {F}}}$เป็นมัดฟ่อนที่แยกออก และสำหรับมัดฟ่อนที่แยกออกใดๆ${\displaystyle {\mathcal {F}}}$,${\displaystyle L{\mathcal {F}}}$เป็นมัด มัดที่เกี่ยวข้อง${\displaystyle a{\mathcal {F}}}$ได้รับจาก${\displaystyle LL{\mathcal {F}}}$[ ^{8 ]​}

แนวคิดที่ว่ามัดฟาง${\displaystyle a{\mathcal {F}}}$เป็นการประมาณค่าที่ดีที่สุดเท่าที่จะเป็นไปได้สำหรับ${\displaystyle {\mathcal {F}}}$โดยชีฟจะถูกทำให้แม่นยำยิ่งขึ้นโดยใช้คุณสมบัติสากล ต่อไปนี้ : มีมอร์ฟิซึมตามธรรมชาติของพรีชีฟ${\displaystyle i\colon {\mathcal {F}}\to a{\mathcal {F}}}$ดังนั้นสำหรับมัดใด ๆ${\displaystyle {\mathcal {G}}}$และรูปแบบใด ๆ ของพรีชีฟ${\displaystyle f\colon {\mathcal {F}}\to {\mathcal {G}}}$มีรูปแบบเฉพาะของชีฟอยู่${\displaystyle {\tilde {f}}\colon a{\mathcal {F}}\rightarrow {\mathcal {G}}}$โดยที่${\displaystyle f={\tilde {f}}i}$. ในความเป็นจริง,${\displaystyle a}$คือ ฟังก์ชันผกผันซ้ายของฟังก์ชันการรวม (หรือฟังก์ชันลืม ) จากหมวดหมู่ของชีฟไปยังหมวดหมู่ของพรีชีฟ และ${\displaystyle i}$คือหน่วยของการเชื่อมโยง ในลักษณะนี้ หมวดหมู่ของชีฟจะกลายเป็นหมวดหมู่ย่อยของจีโรด์ของพรีชีฟ สถานการณ์เชิงหมวดหมู่นี้เป็นเหตุผลว่าทำไมฟังก์ชันชีฟฟิเคชันจึงปรากฏในการสร้างโคเคอร์เนลของมอร์ฟิซึมชีฟหรือผลคูณเทนเซอร์ของชีฟ แต่ไม่ปรากฏสำหรับเคอร์เนล เป็นต้น

ถ้า${\displaystyle K}$เป็นมัดย่อยของมัดใหญ่${\displaystyle F}$ของกลุ่มอาเบเลียน จากนั้นชีฟผลหาร${\displaystyle Q}$มัดฟางนั้นเกี่ยวข้องกับมัดฟางก่อนหน้าหรือไม่${\displaystyle U\mapsto F(U)/K(U)}$กล่าวอีกนัยหนึ่งคือ ชีฟผลหารนั้นสอดคล้องกับลำดับที่แน่นอนของชีฟของกลุ่มอาเบเลียน

$${\displaystyle 0\to K\to F\to Q\to 0.}$$

(เรียกอีกอย่างว่าการขยายชีฟ )

อนุญาต${\displaystyle F,G}$เป็นกลุ่มของกลุ่มอาเบเลียน เซต${\displaystyle \operatorname {Hom} (F,G)}$ของมอร์ฟิซึมของชีฟจาก${\displaystyle F}$ถึง${\displaystyle G}$ก่อให้เกิดกลุ่มอาเบเลียน (โดยโครงสร้างกลุ่มอาเบเลียนของ${\displaystyle G}$). มัดฟางของ${\displaystyle F}$และ${\displaystyle G}$ซึ่งแสดงด้วย

$${\displaystyle {\mathcal {Hom}}(F,G)}$$

คือกลุ่มของกลุ่มอาเบเลียน${\displaystyle U\mapsto \operatorname {Hom} (F|_{U},G|_{U})}$ที่ไหน${\displaystyle F|_{U}}$มัดฟ่อนบน${\displaystyle U}$มอบให้โดย${\displaystyle (F|_{U})(V)=F(V)}$(หมายเหตุ ไม่จำเป็นต้องมีการจัดกลุ่มเป็นชีทในที่นี้) ผลรวมโดยตรงของ${\displaystyle F}$และ${\displaystyle G}$คือกลุ่มของชีฟที่กำหนดโดย${\displaystyle U\mapsto F(U)\oplus G(U)}$และผลคูณเทนเซอร์ของ${\displaystyle F}$และ${\displaystyle G}$มัดฟางนั้นเกี่ยวข้องกับมัดฟางก่อนหน้าหรือไม่${\displaystyle U\mapsto F(U)\otimes G(U)}$.

การดำเนินการทั้งหมดเหล่านี้ขยายไปถึงกลุ่มของโมดูลเหนือกลุ่มของวงแหวน${\displaystyle A}$; กรณีข้างต้นเป็นกรณีพิเศษเมื่อ${\displaystyle A}$คือมัดคงที่${\displaystyle {\underline {\mathbf {Z} }}}$.

เนื่องจากข้อมูลของชีฟ (หรือชีฟก่อน) ขึ้นอยู่กับเซตเปิดของปริภูมิฐาน ชีฟบนปริภูมิเชิงทอพอโลยีที่แตกต่างกันจึงไม่มีความสัมพันธ์กันในแง่ที่ว่าไม่มีมอร์ฟิซึมระหว่างกัน อย่างไรก็ตาม เมื่อกำหนดแผนที่ต่อเนื่องแล้ว${\displaystyle f:X\to Y}$ระหว่างปริภูมิเชิงทอพอโลยีสองปริภูมิ การผลักดันไปข้างหน้าและการดึงกลับจะเชื่อมโยงชีฟบน${\displaystyle X}$สำหรับผู้ที่อยู่${\displaystyle Y}$และในทางกลับกัน

ส่วนขยายโดยศูนย์

เพื่อการรวม${\displaystyle j:U\to X}$ของเซตย่อยเปิดการขยายโดยศูนย์${\displaystyle j_{!}{\mathcal {F}}}$(ออกเสียงว่า "เจ โลเวอร์ ชรีคออฟ เอฟ") ของมัดฟ่อน${\displaystyle {\mathcal {F}}}$ของกลุ่มอาเบเลียนบน${\displaystyle U}$การจัดกลุ่มของพรีชีฟถูกกำหนดโดย

$${\displaystyle V\mapsto {\begin{cases}{\mathcal {F}}(V)&{\textrm {if}}\ V\subseteq U\\0&{\textrm {otherwise.}}\end{cases}}}$$

สำหรับมัด${\displaystyle {\mathcal {G}}}$บน${\displaystyle X}$โครงสร้างนี้ในแง่หนึ่งเป็นการเติมเต็มซึ่งกันและกัน${\displaystyle i_{*}}$, ที่ไหน${\displaystyle i:X\setminus U\to X}$คือการรวมส่วนเติมเต็มของ${\displaystyle U}$:

${\displaystyle (j_{!}j^{*}{\mathcal {G}})_{x}={\mathcal {G}}_{x}}$สำหรับ${\displaystyle x}$ใน${\displaystyle U}$และก้านจะมีค่าเป็นศูนย์ในกรณีอื่น ๆ ในขณะที่

${\displaystyle (i_{*}i^{*}{\mathcal {G}})_{x}=0}$สำหรับ${\displaystyle x}$ใน${\displaystyle U}$และเท่ากับ${\displaystyle {\mathcal {G}}_{x}}$มิฉะนั้น.

โดยทั่วไปแล้ว ถ้า${\displaystyle A\subset X}$ถ้า เป็นเซตย่อยที่ปิดเฉพาะที่ก็จะมีเซตเปิดอยู่${\displaystyle U}$ของ${\displaystyle X}$ประกอบด้วย${\displaystyle A}$โดยที่${\displaystyle A}$ปิดทำการแล้ว${\displaystyle U}$. อนุญาต${\displaystyle f:A\to U}$และ${\displaystyle j:U\to X}$ให้เป็นการรวมตามธรรมชาติ จากนั้นการขยายด้วยศูนย์ของชีฟ${\displaystyle {\mathcal {F}}}$บน${\displaystyle A}$ถูกกำหนดโดย${\displaystyle j_{!}f_{*}F}$.

เนื่องจากการทำงานที่ดีบนสตอล์ก การขยายโดยฟังก์ชันศูนย์จึงมีประโยชน์สำหรับการลดคำถามเกี่ยวกับทฤษฎีชีฟบน${\displaystyle X}$ไปยังชั้นต่างๆ ของการแบ่งชั้นกล่าวคือ การแยกย่อยของ${\displaystyle X}$แบ่งออกเป็นกลุ่มย่อยที่เล็กลงและปิดตัวลงภายในบริเวณนั้น

นอกเหนือจาก (พรี)ชีฟตามที่ได้แนะนำไปข้างต้นแล้ว ในกรณีที่${\displaystyle {\mathcal {F}}(U)}$ถึงแม้จะเป็นเพียงเซต แต่ในหลายกรณี การติดตามโครงสร้างเพิ่มเติมในส่วนต่างๆ เหล่านั้นมีความสำคัญ ตัวอย่างเช่น ส่วนต่างๆ ของชีฟของฟังก์ชันต่อเนื่องจะก่อตัวเป็นปริภูมิเวกเตอร์ จริงโดยธรรมชาติ และการจำกัดขอบเขตคือแผนที่เชิงเส้นระหว่างปริภูมิเวกเตอร์เหล่านี้

พรีชีฟที่มีค่าอยู่ในหมวดหมู่ใดๆ${\displaystyle C}$ถูกกำหนดโดยพิจารณาจากหมวดหมู่ของเซตเปิดก่อนเป็นอันดับแรก${\displaystyle X}$เพื่อเป็นหมวดหมู่ท่าทาง${\displaystyle O(X)}$ซึ่งวัตถุคือเซตเปิดของ${\displaystyle X}$และมอร์ฟิซึมของพวกมันคือการรวมเข้าด้วยกัน จากนั้น a${\displaystyle C}$พรีชีฟที่มีค่าบน${\displaystyle X}$เหมือนกับฟังก์ชันคอนทราแวเรียนต์จาก${\displaystyle O(X)}$ถึง${\displaystyle C}$มอร์ฟิซึมในหมวดหมู่ของฟังก์ชันนี้ หรือที่เรียกว่าการแปลงธรรมชาตินั้นเหมือนกับมอร์ฟิซึมที่นิยามไว้ข้างต้น ดังที่จะเห็นได้จากการวิเคราะห์นิยามเหล่านั้น

หากเป็นหมวดหมู่เป้าหมาย${\displaystyle C}$ยอมรับข้อจำกัดทั้งหมด${\displaystyle C}$-ค่าพรีชีฟจะเป็นชีฟก็ต่อเมื่อแผนภาพต่อไปนี้เป็นตัวปรับสมดุลสำหรับฝาครอบเปิดทุกอัน ${\displaystyle {\mathcal {U}}=\{U_{i}\}_{i\in I}}$ของชุดเปิดใดๆ${\displaystyle U}$:

$${\displaystyle F(U)\rightarrow \prod _{i}F(U_{i}){{{} \atop \longrightarrow } \atop {\longrightarrow \atop {}}}\prod _{i,j}F(U_{i}\cap U_{j}).}$$

ในที่นี้ แผนที่แรกเป็นผลผลิตจากแผนที่ข้อจำกัด

$${\displaystyle \operatorname {res} _{U_{i},U}\colon F(U)\rightarrow F(U_{i})}$$

และลูกศรทั้งสองเป็นผลคูณของข้อจำกัดทั้งสองชุด

$${\displaystyle \operatorname {res} _{U_{i}\cap U_{j},U_{i}}\colon F(U_{i})\rightarrow F(U_{i}\cap U_{j})}$$

และ

$${\displaystyle \operatorname {res} _{U_{i}\cap U_{j},U_{j}}\colon F(U_{j})\rightarrow F(U_{i}\cap U_{j}).}$$

ถ้า${\displaystyle C}$เป็นหมวดหมู่แบบอาเบเลียนเงื่อนไขนี้สามารถเขียนใหม่ได้โดยกำหนดให้มีลำดับที่แน่นอน

$${\displaystyle 0\to F(U)\to \prod _{i}F(U_{i})\xrightarrow {\operatorname {res} _{U_{i}\cap U_{j},U_{i}}-\operatorname {res} _{U_{i}\cap U_{j},U_{j}}} \prod _{i,j}F(U_{i}\cap U_{j}).}$$

กรณีเฉพาะของอาการมัดฟางแบบนี้เกิดขึ้นได้ดังนี้${\displaystyle U}$โดยที่เซตว่างและเซตดัชนี${\displaystyle I}$นอกจากนี้ยังว่างเปล่า ในกรณีนี้ เงื่อนไขของชีทกำหนดให้${\displaystyle {\mathcal {F}}(\emptyset )}$เพื่อเป็นวัตถุปลายทางใน${\displaystyle C}$.

ในสาขาเรขาคณิตหลายสาขา รวมถึงเรขาคณิตเชิงพีชคณิตและเรขาคณิตเชิงอนุพันธ์ปริภูมิจะมาพร้อมกับชีฟของวงแหวนตามธรรมชาติ ซึ่งมักเรียกว่าชีฟโครงสร้างและใช้สัญลักษณ์ แทน${\displaystyle {\mathcal {O}}_{X}}$คู่รักเช่นนี้${\displaystyle (X,{\mathcal {O}}_{X})}$เรียกว่าพื้นที่วงแหวนพื้นที่หลายประเภทสามารถนิยามได้ว่าเป็นพื้นที่วงแหวนประเภทใดประเภทหนึ่ง โดยทั่วไปแล้ว ก้านทั้งหมด${\displaystyle {\mathcal {O}}_{X,x}}$โครงสร้างชีฟประกอบด้วยวงแหวนเฉพาะที่ซึ่งในกรณีนี้คู่ดังกล่าวเรียกว่า ปริภูมิ ที่มีวงแหวนเฉพาะที่

ตัวอย่างเช่น${\displaystyle n}$มิติ${\displaystyle C^{k}}$ท่อร่วม${\displaystyle M}$เป็นพื้นที่วงแหวนเฉพาะที่ซึ่งชีฟโครงสร้างประกอบด้วย${\displaystyle C^{k}}$-ฟังก์ชันบนเซตย่อยเปิดของ${\displaystyle M}$คุณสมบัติของการเป็น ปริภูมิที่มีวงแหวน เฉพาะที่นั้นหมายความว่าฟังก์ชันดังกล่าว ซึ่งมีค่าไม่เป็นศูนย์ ณ จุดใดจุดหนึ่ง${\displaystyle x}$นอกจากนี้ ยังมีค่าไม่เป็นศูนย์ในบริเวณใกล้เคียงแบบเปิดที่มีขนาดเล็กพอสมควรของ${\displaystyle x}$นักเขียนบางคนนิยามแมนิโฟลด์จริง (หรือแมนิโฟลด์เชิงซ้อน) ว่าเป็นปริภูมิที่มีวงแหวนเฉพาะที่ ซึ่งมีสมมาตรเฉพาะที่กับคู่ที่ประกอบด้วยเซตย่อยเปิดของ${\displaystyle \mathbb {R} ^{n}}$(ตามลำดับ)${\displaystyle \mathbb {C} ^{n}}$) พร้อมกับมัดฟาง${\displaystyle C^{k}}$ฟังก์ชัน (ตามลำดับโฮโลมอร์ฟิก) ^{[ 10 ]} ใน ทำนองเดียวกัน สกี มซึ่งเป็นแนวคิดพื้นฐานของพื้นที่ในเรขาคณิตพีชคณิต เป็นพื้นที่วงแหวนเฉพาะที่ซึ่งสมมาตรเฉพาะที่กับสเปกตรัมของวงแหวน

เมื่อกำหนดปริภูมิวงแหวนแล้วชีฟของโมดูลจะเป็นชีฟ${\displaystyle {\mathcal {M}}}$โดยที่บนเซตเปิดทุกเซต${\displaystyle U}$ของ${\displaystyle X}$,${\displaystyle {\mathcal {M}}(U)}$เป็น${\displaystyle {\mathcal {O}}_{X}(U)}$-โมดูลและสำหรับการรวมชุดเปิดทุกครั้ง${\displaystyle V\subseteq U}$แผนที่ข้อจำกัด${\displaystyle {\mathcal {M}}(U)\to {\mathcal {M}}(V)}$เข้ากันได้กับแผนผังข้อจำกัด${\displaystyle {\mathcal {O}}(U)\to {\mathcal {O}}(V)}$: ข้อจำกัดของ${\displaystyle fs}$คือข้อจำกัดของ${\displaystyle f}$คูณด้วยจำนวนครั้งของ${\displaystyle s}$สำหรับใดๆ${\displaystyle f}$ใน${\displaystyle {\mathcal {O}}(U)}$และ${\displaystyle s}$ใน${\displaystyle {\mathcal {M}}(U)}$.

วัตถุทางเรขาคณิตที่สำคัญที่สุดคือชีฟของโมดูล ตัวอย่างเช่น มีความสัมพันธ์แบบหนึ่งต่อหนึ่งระหว่างบันเดิลเวกเตอร์และชีฟอิสระเฉพาะที่ของ${\displaystyle {\mathcal {O}}_{X}}$-โมดูล รูปแบบนี้ใช้ได้กับกลุ่มเวกเตอร์จริง กลุ่มเวกเตอร์เชิงซ้อน หรือกลุ่มเวกเตอร์ในเรขาคณิตเชิงพีชคณิต (โดยที่${\displaystyle {\mathcal {O}}}$ประกอบด้วยฟังก์ชันเรียบ ฟังก์ชันโฮโลมอร์ฟิก หรือฟังก์ชันปกติ ตามลำดับ) ชีฟของคำตอบของสมการเชิงอนุพันธ์คือ${\displaystyle D}$-โมดูลนั่นคือ โมดูลเหนือชีฟของตัวดำเนินการเชิงอนุพันธ์บนปริภูมิเชิงทอพอโลยีใดๆ โมดูลเหนือชีฟคงที่${\displaystyle {\underline {\mathbf {Z} }}}$เหมือนกับชีฟของกลุ่มอาเบเลียนในความหมายข้างต้น

สำหรับชีฟของโมดูลเหนือชีฟของริง จะมีฟังก์ชันภาพผกผันที่แตกต่างกัน ฟังก์ชันนี้มักจะใช้สัญลักษณ์ แทนด้วย${\displaystyle f^{*}}$และมันแตกต่างจาก${\displaystyle f^{-1}}$ดูฟังก์ชันภาพผกผัน

ในตัวอย่างข้างต้น สังเกตได้ว่าชีฟบางประเภทเกิดขึ้นเองตามธรรมชาติในรูปของชีฟของส่วนตัด อันที่จริง ชีฟของเซตทั้งหมดสามารถแสดงได้ในรูปของชีฟของส่วนตัดของปริภูมิเชิงทอพอโลยีที่เรียกว่า ปริภูมิ เอตาเล (étalé space)ซึ่งมาจากคำภาษาฝรั่งเศส (ออกเสียงว่า[ étalé ])ที่มีความหมายโดยประมาณว่า "แผ่ขยายออกไป" ถ้า${\displaystyle F\in {\text{Sh}}(X)}$เป็นมัดฟางทับ${\displaystyle X}$จากนั้นพื้นที่ étalé (บางครั้งเรียกว่าพื้นที่ étale ) ของ${\displaystyle F}$เป็นปริภูมิเชิงทอพอโลยี${\displaystyle E}$พร้อมกับโฮโมมอร์ฟิซึมในท้องถิ่น${\displaystyle \pi :E\to X}$โดยที่กลุ่มของส่วนต่างๆ${\displaystyle \Gamma (\pi ,-)}$ของ${\displaystyle \pi }$เป็น${\displaystyle F}$พื้นที่${\displaystyle E}$โดยปกติแล้วจะแปลกมาก และถึงแม้ว่ามัดฟางจะเป็นอย่างไรก็ตาม${\displaystyle F}$เกิดขึ้นจากสถานการณ์ทางโทโพโลยีตามธรรมชาติ${\displaystyle E}$อาจไม่มีการตีความเชิงโทโพโลยีที่ชัดเจน ตัวอย่างเช่น ถ้า${\displaystyle F}$คือกลุ่มของส่วนต่างๆ ของฟังก์ชันต่อเนื่อง${\displaystyle f:Y\to X}$, แล้ว${\displaystyle E=Y}$ก็ต่อเมื่อ${\displaystyle f}$เป็น โฮมีโอเมอร์ฟิ ซึมเฉพาะที่

พื้นที่เอตาเล่${\displaystyle E}$สร้างขึ้นจากลำต้นของ${\displaystyle F}$เกิน${\displaystyle X}$ในฐานะเซต มันคือการรวมกันที่ไม่ทับซ้อนกัน ของพวกมัน และ${\displaystyle \pi }$เป็นแผนที่ที่ชัดเจนซึ่งรับค่า${\displaystyle x}$บนก้านของ${\displaystyle F}$เกิน${\displaystyle x\in X}$โทโพโลยีของ${\displaystyle E}$กำหนดไว้ดังนี้ สำหรับแต่ละองค์ประกอบ${\displaystyle s\in F(U)}$และแต่ละ${\displaystyle x\in U}$เราจึงได้รับเชื้อโรคชนิดหนึ่ง${\displaystyle s}$ที่${\displaystyle x}$ซึ่งแสดงด้วย${\displaystyle [s]_{x}}$หรือ${\displaystyle s_{x}}$เชื้อโรคเหล่านี้เป็นตัวกำหนดจุดต่างๆ${\displaystyle E}$สำหรับกรณีใดๆ${\displaystyle U}$และ${\displaystyle s\in F(U)}$การรวมกันของจุดเหล่านี้ (สำหรับทุก ๆ${\displaystyle x\in U}$) ได้รับการประกาศให้เปิดทำการใน${\displaystyle E}$โปรดสังเกตว่าก้านแต่ละก้านมีโทโพโลยีแบบไม่ต่อเนื่องเป็นโทโพโลยีของปริภูมิย่อยการแปลงระหว่างชีฟสองชีฟจะกำหนดแผนที่ต่อเนื่องของปริภูมิเอตาเล่ที่สอดคล้องกัน ซึ่งเข้ากันได้กับแผนที่การฉายภาพ (ในแง่ที่ว่าเจิร์มทุกตัวถูกแมปไปยังเจิร์มเหนือจุดเดียวกัน) สิ่งนี้ทำให้โครงสร้างกลายเป็นฟังก์ชัน

โครงสร้างข้างต้นกำหนดความเท่าเทียมกันของหมวดหมู่ระหว่างหมวดหมู่ของชีฟของเซตบน${\displaystyle X}$และหมวดหมู่ของพื้นที่ étalé เหนือ${\displaystyle X}$การสร้างพื้นที่เอตาเล่ยังสามารถนำไปใช้กับพรีชีฟได้เช่นกัน ในกรณีนี้ ชีฟของส่วนต่างๆ ของพื้นที่เอตาเล่จะคืนค่าชีฟที่เชื่อมโยงกับพรีชีฟที่กำหนดให้

โครงสร้างนี้ทำให้ชีฟทั้งหมดกลายเป็นฟังก์ชันที่สามารถแทนได้บนหมวดหมู่บางอย่างของปริภูมิเชิงทอพอโลยี ดังที่กล่าวมาข้างต้น ให้${\displaystyle F}$เป็นมัดบน${\displaystyle X}$, อนุญาต${\displaystyle E}$เป็นพื้นที่ชั้นลอย และปล่อยให้${\displaystyle \pi :E\to X}$เป็นการฉายภาพตามธรรมชาติ พิจารณาหมวดหมู่ที่มากเกินไป${\displaystyle {\text{Top}}/X}$ของปริภูมิเชิงทอพอโลยีเหนือ${\displaystyle X}$นั่นคือหมวดหมู่ของปริภูมิเชิงทอพอโลยีพร้อมกับแผนที่ต่อเนื่องคงที่ไปยัง${\displaystyle X}$วัตถุทุกชิ้นในหมวดหมู่นี้เป็นแผนที่ต่อเนื่อง${\displaystyle f:Y\to X}$และมอร์ฟิซึมจาก${\displaystyle Y\to X}$ถึง${\displaystyle Z\to X}$เป็นแผนที่ต่อเนื่อง${\displaystyle Y\to Z}$ที่เดินทางไปทำงานโดยใช้แผนที่สองแผ่น${\displaystyle X}$มีฟังก์ชันเตอร์อยู่

${\displaystyle \Gamma$ :{\text{Top}}/X\to {\text{Sets}}}

การส่งวัตถุ${\displaystyle f:Y\to X}$ถึง${\displaystyle f^{-1}F(Y)}$ตัวอย่างเช่น ถ้า${\displaystyle i:U\hookrightarrow X}$คือการรวมเซตย่อยแบบเปิดใช่หรือไม่

${\displaystyle \Gamma (i)=f^{-1}F(U)=F(U)=\Gamma (F,U)}$

และสำหรับการรวมจุดหนึ่งเข้าไปด้วย${\displaystyle i:\{x\}\hookrightarrow X}$, แล้ว

${\displaystyle \Gamma (i)=f^{-1}F(\{x\})=F|_{x}}$

คือลำต้นของ${\displaystyle F}$ที่${\displaystyle x}$มีไอโซมอร์ฟิซึมตามธรรมชาติ

${\displaystyle (f^{-1}F)(Y)\cong \operatorname {Hom} _{\mathbf {Top} /X}(f,\pi )}$,

ซึ่งแสดงให้เห็นว่า${\displaystyle \pi :E\to X}$(สำหรับปริภูมิเอตาเล่) แสดงถึงฟังก์ชันเตอร์${\displaystyle \Gamma }$.

${\displaystyle E}$ถูกสร้างขึ้นเพื่อให้แผนที่ฉายภาพ${\displaystyle \pi }$เป็นแผนที่ปกคลุม ในเรขาคณิตเชิงพีชคณิต สิ่งที่เทียบเคียงได้ตามธรรมชาติของแผนที่ปกคลุมเรียกว่า มอร์ฟิซึมเอตาเล (étale morphism ) แม้จะคล้ายกับคำว่า "étalé" แต่คำว่า étale [ etal ]มีความหมายต่างกันในภาษาฝรั่งเศส เป็นไปได้ที่จะเปลี่ยน${\displaystyle E}$เข้าสู่แผนการและ${\displaystyle \pi }$เปลี่ยนเป็นมอร์ฟิซึมของแผนผังในลักษณะที่ว่า${\displaystyle \pi }$ยังคงคุณสมบัติสากลเดิมไว้ แต่${\displaystyle \pi }$โดยทั่วไปแล้ว ไม่ใช่ การแปลงแบบเอตาล (étale morphism )เพราะไม่ใช่แบบกึ่งจำกัด (quasi-finite) อย่างไรก็ตาม ในเชิงรูปแบบแล้วมันเป็นการแปลงแบบเอตาล

นิยามของชีฟโดยใช้ปริภูมิเอตาเลนั้นเก่าแก่กว่านิยามที่กล่าวไว้ก่อนหน้านี้ในบทความ และยังคงใช้กันทั่วไปในบางสาขาของคณิตศาสตร์ เช่นการวิเคราะห์ทางคณิตศาสตร์

โดยเฉพาะอย่างยิ่งในบริบทของชีฟบนแมนิโฟลด์ โคฮอโมโลยีของชีฟมักคำนวณได้โดยใช้การแก้ปัญหาโดยชีฟอ่อนชีฟละเอียดและชีฟหย่อนยาน (หรือที่รู้จักกันในชื่อชีฟแฟลสค์จากภาษาฝรั่งเศสflasqueซึ่งหมายถึงหย่อนยาน) ตัวอย่างเช่น การอ้างเหตุผล แบบพาร์ทิชันออฟยูนิตี้แสดงให้เห็นว่าชีฟของฟังก์ชันเรียบบนแมนิโฟลด์เป็นชีฟอ่อน กลุ่มโคฮอโมโลยีระดับสูง${\displaystyle H^{i}(U,{\mathcal {F}})}$สำหรับ${\displaystyle i>0}$ค่าจะหายไปสำหรับชีฟแบบอ่อน ซึ่งเป็นวิธีหนึ่งในการคำนวณโคฮอโมโลยีของชีฟอื่นๆ ตัวอย่างเช่นคอมเพล็กซ์เดอแรมเป็นผลเฉลยของชีฟคงที่${\displaystyle {\underline {\mathbf {R} }}}$บนแมนิโฟลด์เรียบใดๆ ดังนั้นโคฮอโมโลยีชีฟของ${\displaystyle {\underline {\mathbf {R} }}}$เท่ากับค่าโคฮอโมโลยีเดอแรม ของ มัน

อีกแนวทางหนึ่งคือการใช้โคฮอโมโลยีของเช็ก โคฮอโมโลยีของเช็กเป็นทฤษฎีโคฮอโมโลยีแรกที่พัฒนาขึ้นสำหรับชีฟ และเหมาะสมอย่างยิ่งสำหรับการคำนวณที่เป็นรูปธรรม เช่น การคำนวณโคฮอโมโลยีชีฟแบบสอดคล้องกันของปริภูมิเชิงโปรเจกทีฟเชิงซ้อน${\displaystyle \mathbb {P} ^{n}}$[ ^{11 ] มันเชื่อมโยงส่วนต่างๆ บนเซตย่อยเปิดของปริภูมิกับคลาสโคฮอโมโล ยี}บนปริภูมิ ในกรณีส่วนใหญ่ โคฮอโมโลยีของ Čech จะคำนวณกลุ่มโคฮอโมโลยีเดียวกันกับโคฮอโมโลยีของฟังก์ชันอนุพันธ์ อย่างไรก็ตาม สำหรับปริภูมิที่ผิดปกติบางปริภูมิ โคฮอโมโลยีของ Čech จะให้ค่าที่ถูกต้อง${\displaystyle H^{1}}$แต่กลุ่มโคฮอโมโลยีระดับสูงนั้นไม่ถูกต้อง เพื่อแก้ไขปัญหานี้ฌอง-หลุยส์ แวร์ดิเยร์ จึงได้พัฒนาไฮเปอร์คัฟเวอร์ริ่ง ขึ้นมา ไฮเปอร์คั ฟเวอร์ริ่งไม่เพียงแต่ให้กลุ่มโคฮอโมโลยีระดับสูงที่ถูกต้องเท่านั้น แต่ยังอนุญาตให้แทนที่เซตเปิดที่กล่าวถึงข้างต้นด้วยมอร์ฟิซึมบางอย่างจากปริภูมิอื่นได้ ความยืดหยุ่นนี้จำเป็นในบางแอปพลิเคชัน เช่น การสร้างโครงสร้างฮอดจ์แบบผสมของปิแอร์ เดลิญ

พบกลุ่มโคฮอโมโลยีชีฟที่สอดคล้องกันอื่นๆ อีกมากมายโดยใช้การฝังตัว${\displaystyle i:X\hookrightarrow Y}$ของพื้นที่${\displaystyle X}$เข้าไปในพื้นที่ที่มีโคฮอโมโลยีที่ทราบแล้ว เช่น${\displaystyle \mathbb {P} ^{n}}$หรือปริภูมิเชิงฉายที่มีน้ำหนัก บางอย่าง ด้วยวิธีนี้ กลุ่มโคฮอโมโลยีชีฟที่รู้จักบนปริภูมิแวดล้อมเหล่านี้สามารถเชื่อมโยงกับชีฟได้${\displaystyle i_{*}{\mathcal {F}}}$การให้${\displaystyle H^{i}(Y,i_{*}{\mathcal {F}})\cong H^{i}(X,{\mathcal {F}})}$ตัวอย่างเช่น การคำนวณโคฮอโมโลยีชีฟที่สอดคล้องกันของเส้นโค้งระนาบเชิงโปรเจกทีฟนั้นหาได้ง่าย ทฤษฎีบทสำคัญข้อหนึ่งในปริภูมินี้คือการแยกส่วน Hodgeที่พบโดยใช้ลำดับสเปกตรัมที่เกี่ยวข้องกับกลุ่มโคฮอโมโลยีชีฟซึ่งพิสูจน์โดย Deligne ^{[ 12 ] [ 13 ]}โดยพื้นฐานแล้ว${\displaystyle E_{1}}$-หน้าที่มีข้อกำหนด

${\displaystyle E_{1}^{p,q}=H^{p}(X,\Omega _{X}^{q})}$

โคฮอโมโลยีชีฟของวาไรตี้เชิงโปรเจกทีฟเรียบ${\displaystyle X}$เสื่อมทราม หมายความว่า${\displaystyle E_{1}=E_{\infty }}$ซึ่งทำให้ได้โครงสร้าง Hodge แบบมาตรฐานบนกลุ่มโคฮอโมโลยี${\displaystyle H^{k}(X,\mathbb {C} )}$ต่อมาพบว่ากลุ่มโคฮอโมโลยีเหล่านี้สามารถคำนวณได้อย่างชัดเจนโดยใช้เศษเหลือของกริฟฟิธส์ดูที่ไอเดียลของจาโคเบียนทฤษฎีบทประเภทนี้ นำไปสู่ทฤษฎีบทที่ลึกซึ้งที่สุดทฤษฎีหนึ่งเกี่ยวกับโคฮอโมโลยีของวาไร ตีพีชคณิต นั่นคือ ทฤษฎีบทการแยกส่วนซึ่งปูทางไปสู่ โมดูลฮอดจ์ แบบผสม

อีกแนวทางที่สะอาดตาในการคำนวณกลุ่มโคฮอโมโลยีบางกลุ่มคือทฤษฎีบทโบเรล-บอตต์-ไวล์ซึ่งระบุกลุ่มโคฮอโมโลยีของบัน เดิ ลเส้น บางกลุ่ม บนแมนิโฟลด์แฟลกด้วยการแสดงแทนที่ลดทอนไม่ได้ของกลุ่มลี ทฤษฎีบทนี้สามารถนำมาใช้ได้ เช่น เพื่อคำนวณกลุ่มโคฮอโมโลยีของบันเดิลเส้นทั้งหมดบนปริภูมิเชิงโปรเจกทีฟและ แมนิโฟลด์กราสแมนได้อย่างง่ายดาย

ในหลายกรณี มีทฤษฎีทวิภาวะสำหรับชีฟที่ขยายความทฤษฎีทวิภาวะของปวงกาเรดูทฤษฎีทวิภาวะของโกรเทนดิคและทฤษฎีทวิภาวะของเวอร์ดิเยร์

หมวดหมู่อนุพันธ์ของหมวดหมู่ชีฟของกลุ่มอาเบเลียนบนปริภูมิX บางแห่ง ซึ่งในที่นี้ใช้สัญลักษณ์แทนด้วย${\displaystyle D(X)}$เป็นแหล่งรวมแนวคิดสำหรับโคฮอโมโลจีของชีฟ โดยอาศัยความสัมพันธ์ดังต่อไปนี้: $${\displaystyle H^{n}(X,{\mathcal {F}})=\operatorname {Hom} _{D(X)}(\mathbf {Z} ,{\mathcal {F}}[n]).}$$ การเชื่อมต่อระหว่าง${\displaystyle f^{-1}}$ซึ่งเป็นตัวผกผันซ้ายของ${\displaystyle f_{*}}$(ซึ่งอยู่ในระดับเดียวกับกลุ่มอาเบเลียนอยู่แล้ว) ก่อให้เกิดการเชื่อมโยง $${\displaystyle f^{-1}:D(Y)\rightleftarrows D(X):Rf_{*}}$$ (สำหรับ${\displaystyle f:X\to Y}$), ที่ไหน${\displaystyle Rf_{*}}$คือฟังก์ชันอนุพันธ์ ฟังก์ชันอนุพันธ์นี้ครอบคลุมแนวคิดของโคฮอโมโลยีชีฟตั้งแต่${\displaystyle H^{n}(X,{\mathcal {F}})=R^{n}f_{*}{\mathcal {F}}}$สำหรับ${\displaystyle f:X\to \{*\}}$.