ให้เป็นปริภูมิเชิงทอพอโลยีพรีชีฟของเซตบนประกอบด้วยข้อมูลต่อไปนี้:${\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}}$${\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. ( การติดกาว ) สมมติว่าเป็นเซตเปิดเป็นการคลุมแบบเปิดของโดยที่สำหรับทุกและเป็นตระกูลของส่วน ถ้าส่วนทุกคู่ตกลงกันที่การทับซ้อนของโดเมน นั่นคือ ถ้าสำหรับทุกแล้วจะมีส่วนที่ อยู่^เช่นนั้นสำหรับทุก^{[ 1} ]${\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}$

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

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

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

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

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

สามารถแสดงได้ว่า การระบุชีฟนั้น เพียงพอแล้วที่จะระบุข้อจำกัดของชีฟนั้นบนเซตเปิดของฐานสำหรับโทโพโลยีของปริภูมิพื้นฐาน ยิ่งไปกว่านั้น ยังสามารถแสดงได้ว่า เพียงพอแล้วที่จะตรวจสอบสัจพจน์ของชีฟข้างต้นที่สัมพันธ์กับเซตเปิดของการปกคลุม ข้อสังเกตนี้ใช้ในการสร้างตัวอย่างอีกตัวอย่างหนึ่งซึ่งมีความสำคัญในเรขาคณิตเชิงพีชคณิต นั่นคือชีฟกึ่งสอดคล้องกันในที่นี้ ปริภูมิโทโพโลยีที่กล่าวถึงคือสเปกตรัมของวงแหวนสลับ${\displaystyle R}$ที่ซึ่งจุดต่างๆ คืออุดมคติเฉพาะ ในเซตเปิดก่อให้เกิดฐานสำหรับโทโพโลยีซาริสกีบนปริภูมินี้ เมื่อกำหนดโมดูลจะมีชีฟ ซึ่งแทนด้วยบน ที่สอดคล้อง กับ โดยที่คือการหาตำแหน่งของที่${\displaystyle {\mathfrak {p}}}$${\displaystyle R}$${\displaystyle D_{f}:=\{{\mathfrak {p}}\subseteq R,f\notin {\mathfrak {p}}\}}$${\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}$

มีการกำหนดลักษณะเฉพาะของชีฟอีกแบบหนึ่งที่เทียบเท่ากับที่ได้กล่าวถึงไปก่อนหน้านี้ พรีชีฟจะเป็นชีฟก็ต่อเมื่อสำหรับเซตเปิดใดๆและเซตคลุมเปิดใดๆของนั้นเป็นผลคูณไฟเบอร์การกำหนดลักษณะเฉพาะนี้มีประโยชน์ในการสร้างชีฟ ตัวอย่างเช่น ถ้าเป็นชีฟอาเบเลียนแล้วเคอร์เนลของมอร์ฟิซึมชีฟจะเป็นชีฟ เนื่องจากลิมิตเชิงโปรเจกทีฟสลับที่ได้กับลิมิตเชิงโปรเจกทีฟ ในทางกลับกัน โคเคอร์เนลไม่จำเป็นต้องเป็นชีฟเสมอไป เพราะลิมิตเชิงอุปนัยไม่จำเป็นต้องสลับที่ได้กับลิมิตเชิงโปรเจกทีฟ วิธีหนึ่งในการแก้ไขปัญหานี้คือการพิจารณาปริภูมิเชิงทอพอโลยีแบบโนเธอร์เรียน เซตเปิดทั้งหมดเป็นเซตกระชับ ดังนั้นโคเคอร์เนลจึงเป็นชีฟ เนื่องจากลิมิตเชิงโปรเจกทีฟจำกัดสลับที่ได้กับลิมิตเชิงอุปนัย${\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}.}$$

อันที่จริงแล้ว เมื่อกำหนดฟังก์ชัน (ที่อนุพันธ์ต่อเนื่องได้ n ครั้ง) (โดยที่ อยู่ในเซตเปิด) การจำกัด (ไปยังเซตเปิดย่อยที่เล็กกว่า) ของอนุพันธ์ของฟังก์ชันนั้นจะเท่ากับอนุพันธ์ของ${\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)}$

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

$${\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}$

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

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

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

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

การสร้างชีฟอีกแบบหนึ่งดำเนินการโดยใช้ฟังก์ชันจากพรีชีฟไปยังพรีชีฟที่ค่อยๆ ปรับปรุงคุณสมบัติของพรีชีฟ: สำหรับพรีชีฟใดๆจะเป็นพรีชีฟที่แยกออก และสำหรับพรีชีฟที่แยกออกใดๆจะเป็นชีฟ ชีฟที่เกี่ยวข้องจะได้รับจาก^{[ 8 ]}${\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}}}$

แนวคิดที่ว่าชีฟเป็นการประมาณค่าที่ดีที่สุดเท่าที่จะเป็นไปได้ของโดยชีฟอื่นนั้น ได้รับการทำให้แม่นยำยิ่งขึ้นโดยใช้คุณสมบัติสากล ต่อไปนี้ : มีมอร์ฟิซึมธรรมชาติของพรีชีฟ อยู่ตัวหนึ่ง ซึ่งสำหรับชีฟใดๆและมอร์ฟิซึมของพรีชีฟใดๆจะมีมอร์ฟิซึมของชีฟที่ไม่ ซ้ำกันเพียงตัวเดียวเท่านั้นที่ทำให้ ในความเป็นจริง คือ ฟังก์ชันผกผันซ้ายของฟังก์ชันการรวม (หรือฟังก์ชันลืม ) จากหมวดหมู่ของชีฟไปยังหมวดหมู่ของพรีชีฟ และคือหน่วยของการเชื่อมโยง ในลักษณะนี้ หมวดหมู่ของชีฟจะกลายเป็นหมวดหมู่ย่อยของ Giraudของพรีชีฟ สถานการณ์เชิงหมวดหมู่นี้เป็นเหตุผลว่าทำไมฟังก์ชันการสร้างชีฟจึงปรากฏในการสร้างโคเคอร์เนลของมอร์ฟิซึมชีฟหรือผลคูณเทนเซอร์ของชีฟ แต่ไม่ปรากฏสำหรับเคอร์เนล เป็นต้น${\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.}$$

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

ให้และ เป็นชีฟของกลุ่มอาเบเลียน เซตของมอร์ฟิซึมของชีฟจากไปยังก่อให้เกิดกลุ่มอาเบเลียน (โดยโครงสร้างกลุ่มอาเบเลียนของ) ชีฟ homของและซึ่งแทนด้วย ,${\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}$${\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}}$

ตัวอย่างเช่นแมนิโฟลด์มิติ - เป็นปริภูมิที่มีวงแหวนเฉพาะที่ซึ่งชีฟโครงสร้างประกอบด้วยฟังก์ชัน - บนเซตย่อยเปิดของ คุณสมบัติของการเป็น ปริภูมิที่มีวงแหวน เฉพาะที่แปลเป็นข้อเท็จจริงที่ว่าฟังก์ชันดังกล่าวซึ่งไม่เป็นศูนย์ที่จุดก็ไม่เป็นศูนย์ในบริเวณใกล้เคียงแบบเปิดที่เล็กพอสมควรของบางผู้เขียนกำหนดแมนิโฟลด์จริง (หรือเชิงซ้อน) ให้เป็นปริภูมิที่มีวงแหวนเฉพาะที่ซึ่งสมมาตรเฉพาะที่กับคู่ที่ประกอบด้วยเซตย่อยเปิดของ(ตามลำดับ) พร้อมกับชีฟของฟังก์ชัน (ตามลำดับโฮโลมอร์ฟิก) ^{[ 10 ]} ใน ทำนองเดียวกัน สกี มซึ่งเป็นแนวคิดพื้นฐานของปริภูมิในเรขาคณิตพีชคณิต เป็นปริภูมิที่มีวงแหวนเฉพาะที่ซึ่งสมมาตรเฉพาะที่กับสเปกตรัมของวงแหวน${\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}}$

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

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

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

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

กลุ่มโคฮอโมโลยีชีฟที่สอดคล้องกันอื่นๆ อีกมากมายถูกค้นพบโดยใช้การฝังตัวของพื้นที่ลงในพื้นที่ที่มีโคฮอโมโลยีที่ทราบ เช่น หรือ พื้นที่เชิงฉายแบบถ่วงน้ำหนักบาง พื้นที่ ด้วยวิธีนี้ กลุ่มโคฮอโมโลยีชีฟที่ทราบในพื้นที่แวดล้อมเหล่านี้สามารถเชื่อมโยงกับชีฟได้ทำให้ได้ ตัวอย่างเช่น การคำนวณโคฮอโมโลยีชีฟที่สอดคล้องกันของเส้นโค้งระนาบเชิงฉายนั้นหาได้ง่าย ทฤษฎีบทสำคัญข้อหนึ่งในพื้นที่นี้คือการแยกส่วน Hodgeที่พบโดยใช้ลำดับสเปกตรัมที่เกี่ยวข้องกับกลุ่มโคฮอโมโลยีชีฟซึ่งพิสูจน์โดย Deligne ^{[ 12 ] [ 13 ]}โดยพื้นฐานแล้ว - หน้าที่มีเทอม${\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}})}$${\displaystyle E_{1}}$