stanford-oval/wikipedia huggingface dataset:
尼娜·维斯洛娃
參考資料

↑  （俄文）. infosport.ru.   [2016-02-06]. （原始内容存档于2016-02-06）.
↑  （英文）Profile of Nina Vislova (15311)[永久]
1 2 3 4 5  （英文）. Baku 2015 European Games official website.   [2015-06-19]. （原始内容存档于2015-06-19）.
↑  （英文）BWF World Ranking - Ranking of Nina VISLOVA (15311) （页面存档备份，存于）
↑  （英文）BWF World Ranking - BWF世界排名榜 (12/21/2017) - Women's doubles （页面存档备份，存于）
↑  （英文）BWF World Ranking - BWF世界排名榜 (12/21/2017) - Mixed doubles （页面存档备份，存于）
↑  （俄文）. 2013年夏季世界大學生運動會官方網站. （原始内容存档于2013-10-07）.
↑  （简体中文）. 诗华日报. 2015-08-11. （原始内容存档于2015-08-19）.
外部連結

尼娜·维斯洛娃在国际奥林匹克委员会的资料
尼娜·维斯洛娃與瓦莱里亚·索罗金娜（左）
朱利安·路易斯·瓊斯

| 朱利安·路易斯·瓊斯 Julian Lewis Jones> 男演员 |
| --- | --- |
别名: 
国籍:  英国
出生:  (1968-08-27) 1968年8月27日（56歲）  英国威爾斯格温内斯班戈
职业: 演員
母校: 皇家威爾斯音樂戲劇學院（英语：）
配偶: 金·（）
儿女: 3
活跃年代: 1995年至今

朱利安·路易斯·瓊斯（英語：，1968年8月27日—）是一位威爾斯男演員。
早年生活

朱利安·路易斯·瓊斯在1968年8月27日出生於威爾斯格温内斯的班戈，並在安格尔西岛的本萊赫（英语：）長大。他前往倫敦本打算進入皇家戏剧艺术学院學習，但未能通過試鏡。他後來在皇家威爾斯音樂戲劇學院（英语：）就讀課程，在那裡學習了三年的戲劇。
職業生涯

瓊斯曾出現在許多英語和威爾斯語的電視節目中，包括《心之所在（英语：）》（2002-2005年）和《卡迪夫（英语：）》（2006年）。2009年，他在克林·伊斯威特的劇情片《不敗雄心》中擔任主演，飾演纳尔逊·曼德拉保鏢團隊的隊長艾蒂安·費德（）。
2010年，他在電視劇《都鐸王朝》第4季第1集中飾演理查德·羅珀（）。同年，他在英國電視劇《軍情五處》第9季第3集中飾演俄羅斯間諜維克多·巴倫希克（）。
從2012年起，瓊斯在Sky1劇情喜劇《史黛拉（英语：）》中飾演卡爾·莫里斯（），並於2012年出現在BBC Two劇情喜劇《大使（英语：）》的一集中。
他在超級英雄電影《正義聯盟》（2017年）和导演剪辑版的《查克·史奈德之正義聯盟》（2021年）中飾演亞特蘭蒂斯之王亞特蘭（英语：）。
個人生活

朱利安·路易斯·瓊斯與金·（）結婚並肓有三個孩子，他們一家現居卡马森郡一個名叫南加雷迪（英语：）的村莊。
瓊斯是威爾斯獨立運動的支持者，他在2020年6月加入YesCymru（英语：）。
作品列表 > 電影

| 年份 | 標題 | 角色 | 附註 |
| --- | --- | --- | --- |
| 1999 | 《悲憐大地的情人（英语：）》 | 懷恩（） |  |
| 2001 | 《亞瑟堤（英语：）》 | 鬍渣臉（） |  |
| 2003 | 《我會在你身邊（英语：）》 | 護理人員 |  |
| 2004 |  | 史蒂夫（） | 短片 |
| 2008 | 《玩命追緝：貝克街大劫案》 | 史諾探員（） |  |
| 2009 | 《不敗雄心》 | 艾蒂安·費德（） |  |
| 2009 |  | 珀布里克（） | 短片 |
| 2011 | 《迷踪：第9鹰团》 | 卡修斯（） |  |
| 2012 | 《艾爾菲·霍普金斯（英语：）》 | 哈里·霍普金斯（） |  |
| 2012 | 《猎杀本·拉登》 | 黑水國際守衛 |  |
| 2015 | 《牛奶樹下（英语：）》 | 第二個淹死的人 |  |
| 2016 | 《頭顱獵人》 （英語：） | 比爾（） |  |
| 2016 |  | 達夫羅（） | 短片 |
| 2017 | 《正義聯盟》 | 古亞特蘭蒂斯國王（英语：） |  |
| 2018 | 《穿越生死線》 （英語：） | 保羅·康羅伊（） | 紀錄片 |
| 2019 | 《琼斯先生》 | 瓊斯少校（） |  |
| 2019 | 《反抗者》 （英語：） | 蓋烏斯（） |  |
| 2021 |  | 埃文斯牧師（） | 短片 |
| 2021 | 《魘會（英语：）》 | 格溫（） |  |
| 2021 | 《查克·史奈德之正義聯盟》 | 古亞特蘭蒂斯國王（英语：） |  |
| 2021 | 《愛的蔓延（英语：）》 | 傑米A&R（） |  |
| 2022 | 《叢林吶喊（英语：）》 | 戴爾·布萊特（） |  |
作品列表 > 電視

| 年份 | 標題 | 角色 | 電視台 | 附註 |
| --- | --- | --- | --- | --- |
| 1995 | A Mind to Kill（英语：） | 制服警長 | S4C／Channel 5 | 單集：“Son of His Works” |
| 1995 | 《士兵啊士兵（英语：）》 | 吉米·弗萊克下士（） | ITV | 單集：“Hard Lessons” |
| 1995-2013 | 《急診室》 | 特里·馬歇爾（）／ 羅伯·巴徹勒（）／ 托尼·莫斯（） | BBC One | 3集； 1：“Release” 2：“Before a Fall” 3：“Away in a Manger” |
| 2001 | 《法官（英语：）》 | 邁克·莫里斯（） | BBC One Wales（英语：） | 4集 |
| 2002-2005 | 《心之所在（英语：）》 | 湯姆·貝雷斯福德（） | ITV1 | 主要角色；31集 |
| 2004 | 《霍爾比市》 | 斯圖爾特·米勒（） | BBC One | 單集：“One More Chance” |
| 2005 | 《特蕾西·比克的故事（英语：）》 | 羅恩（） | CBBC | 單集：“We're Off the Map Now” |
| 2006 | 《卡迪夫（英语：）》 | 邁克·鮑威爾（） | S4C | 3集 |
| 2007 | 《醫者心》 | 史蒂文·米勒（） | BBC One | 單集：“Paternity” |
| 2007 | 《雙面怪醫》 | 卡佛（） | BBC One | 電視迷你劇；單集：“Hyde” |
| 2007 | 《代價（英语：）》 | 公司高級管理人員（） | S4C | 未知集數 |
| 2008 | 《火炬木小组》 | 亞歷克斯（） | BBC Three／BBC Two／ BBC One／Starz電視台 | 單集：“Fragments” |
| 2009 | 《舊日火焰（英语：）》 | 查理·戴維斯（） | ITV1 | 2集 |
| 2010 | 《都鐸王朝》 | 理查德·羅珀（） | BBC Two（英國）／CBC Television（加拿大）／ TV3（愛爾蘭共和國）／Showtime電視網（美國） | 單集：“Moment of Nostalgia” |
| 2010 | 《真身追緝（英语：）》 | 德維利爾斯（） | ITV1 | 單集：“Reparation” |
| 2010 | 《軍情五處》 | 維克多·巴倫希克（） | BBC One／BBC Three | 單集：“Episode #9.3” |
| 2012-2016 | 《史黛拉（英语：）》 | 卡爾·莫里斯（） | Sky1 | 常設角色；36集 |
| 2013 | 《聖經故事》 | 主的使者（英语：） | 歷史頻道 | 電視迷你劇；單集：“Homeland” |
| 2013 | 《緝兇之路（英语：）》 | 邁克·霍蘭德（） | ITV1 | 電視迷你劇；主要角色；3集 |
| 2013 | 《大使（英语：）》 | 邁克·特雷熱（） | BBC Two | 單集：“The Prince's Trousers” |
| 2013 | 《威爾斯出品》 （英語：） | 看門人 | BBC Two | 電視劇短片；單集：“The Plan” |
| 2014 | 《諜海浮沉（英语：）》 | 吉姆（） | ABC | 電視迷你劇；2集 |
| 2015 | 《戰地神探》 | 詹姆斯·斯塔福德（） | ITV | 單集：“Elise” |
| 2015 | 《約翰·里弗（英语：）》 | 喬迪·默頓（） | BBC One | 電視迷你劇；單集：“Episode #1.3” |
| 2015 | 《只有真相》 （威爾斯語：） | 格威林·普里查德（） | S4C | 2集 |
| 2016 | 《連環驚悚：腐朽天使》 （英語：） | 比爾（） | OTT平台 | 2集 |
| 2016 | 《荒郊疑雲（英语：）》 | 路易斯·約翰（） | S4C（威爾斯語版本）／BBC One Wales（英语：）（英語版本） | 單集：“A Poacher's Discovery” |
| 2018 | 《沿著旅行拖車》 （英語：） | 湯姆（） |  | 電視電影 |
| 2018 | 《駭人命案事件（英语：）》 | 蓋伊·貝文（） | ITV | 單集：“The Lions of Causton” |
| 2018 | 《這是我的吶喊：威爾斯短片》 （英語：） | 爸爸 | BBC Two | 電視劇短片；單集：“Dad” |
| 2020 | 《傑米·約翰遜（英语：）》 | 格雷厄姆·西蒙茲（） | CBBC | 3集 |
| 2020 | 《布林》 （英語：） | 里斯船長（） |  | 單集：“Episode #1.2” |
| 2021 | 《憔悴損》 （英語：） | 理查德（） | S4C | 主要角色；5集 |
| 2022 | 《龍族前傳》 | 博蒙德·拜拉席恩公爵（） | HBO | 常設角色；2集 |
參考資料

1 2 3 4  . bbc.co.uk.   [2022-10-07]. （原始内容存档于2022-10-14）.
1 2  . walesonline.co.uk. 2013-01-11  [2022-10-07]. （原始内容存档于2022-10-10）.
↑  Live, North Wales. . North Wales Live. 2010-11-08  [2021-10-28]. （原始内容存档于2022-10-13） （英语）.
↑  . Ftvdb.bfi.org.uk. 16 April 2009  [26 August 2012]. （原始内容存档于17 December 2009）.
↑  Taylor, Robin. . Wales Online. 22 March 2009  [26 August 2012]. （原始内容存档于2012-03-28）.
↑  Williams, Kathryn. . Wales Online.   [14 October 2017]. （原始内容存档于2020-11-08）.
↑  McNary, Dave. . Variety (magazine). 5 July 2016  [14 October 2017]. （原始内容存档于2022-10-18）.
↑  Mithaiwala, Mansoor. . ScreenRant. 22 October 2017  [23 October 2017]. （原始内容存档于2017-10-23）.
1 2  Gallagher, Simon. . Screen Rant. 22 August 2020  [1 September 2020]. （原始内容存档于2020-08-29）.
↑  Harries, Robert. . WalesOnline. 2018-01-31  [2021-10-28]. （原始内容存档于2022-10-13） （英语）.
↑  Julian Lewis Jones [@JulesLewisJones].  (推文). 28 May 2020 –Twitter.
外部連結

朱利安·路易斯·瓊斯在互联网电影资料库（IMDb）上的資料（英文）
ZONE (公司)

有限会社ZONE是日本成人遊戲公司，在日本成人遊戲界亦有相當有名，目前已經解散。
歷史沿革

1996年以前，為AGREE集團中的ACUTE會社的一个遊戲企劃小組。
1997年，成立有限會社ZONE品牌，為ACUTE會社的一個子公司。
作品一覧

妖女乱舞 1996年7月19日 -
妖女乱舞2 1997年5月29日 -
仙宮 ～歪曲的聖章～ 1998年4月17日 -
紅蓮 1999年11月18日 -
AVARON 2000年5月1日 -
紅蓮天衝－修羅－ 2002年7月19日 -
紅蓮天衝-羅刹- 2002年12月27日 -
朴鍾範

朴鍾範（Park Jong Bum）出生日期1997年5月19日 
身高1.84米
體重76.6公斤
位置中堅防守中場
目前效力於香港流浪足球會有限公司
曾效力球會：平昌FC（南韓）、全州市民（南韓）、凱景
巴爾基雅魯克

| 巴爾基雅魯克 |
| --- | --- |
巴爾基雅魯克畫像
塞尔柱帝国苏丹（英语：）
統治: 1092–1105
前任: 馬哈茂德一世（英语：）
繼任: 馬立克沙二世（英语：）

出生: 1079/1080
逝世: 1105 (25歲) 博魯傑爾德
子嗣: 馬立克沙二世（英语：）
王朝: 塞爾柱王朝
父親: 馬立克沙一世
宗教信仰: 遜尼派
巴爾基雅魯克是1094年到1104年在位的塞爾柱帝國蘇丹。他是马立克沙一世的兒子。
在父親被刺殺後，他與同父異母的兄弟馬哈茂德一世（英语：）、艾哈邁德·桑賈爾、穆罕默德一世（英语：）等人争夺蘇丹位。直接導致了後期帝國的分裂。
青年即位的巴爾基雅魯克加強了對帝國中心地區伊朗的控制，靠著大臣的幫助想辦法擴充財源，以維持帝國日益龐大的開支。在位時期迎來了第一批十字軍，在交戰後，帝國仍得以控制敍利亞省的大馬士革、摩蘇爾等重鎮。雖然他打敗了馬哈穆德一世、叔叔突突什一世（英语：）等人，家族內亂仍然無法有效解決。
在與弟弟穆罕默德一世激戰五次後，雙方於1104年簽訂合約，巴爾基雅魯克承認弟弟在北伊拉克、亞塞拜然等地的控制權，蘇丹的權威受挫。隔年，勞累的巴爾基雅魯克在伊朗的博魯傑爾德病逝，得年25歲，有說法指出他的遺體被運回伊斯法罕安葬。
}}
| 巴爾基雅魯克 塞尔柱王朝出生于：1080年逝世於：1105年> 統治者頭銜 |
| --- | --- | --- |
| 前任者： 馬哈茂德一世（英语：） | 塞尔柱帝国苏丹（英语：） 1094年-1105年 | 繼任者： 馬立克沙二世（英语：） |
朱幼塐

沁水安惠王朱幼塐（1432年—1471年9月17日），明朝沁水悼怀王朱佶煴嫡长子，王妃郑氏所生，瀋简王朱模孙，明太祖曾孙。明朝第二代沁水王。
生平

正统四年（1439年）正月，朱佶煴去世。正统十年（1445年）四月，朱幼塐得赐名。正统十二年（1447年）八月，明英宗遣駙馬都尉井源等為正使，吏部員外郎紀振等為副使，持節冊封朱幼塐為沁水王，北城兵馬副指揮李榮的女兒為沁水王妃。
朱幼塐请求為弟弟们建府第，英宗赐地命他自己造。正统十四年（1449年）四月，朱幼塐称工料不足，請求敕令有司协助，获准。
景泰元年（1450年）四月，明代宗遣駙馬都尉焦敬等為正使，吏部右侍郎俞山等為副使，持節冊封李妃為沁水王妃。
景泰三年（1452年）十二月，朱幼塐奏称两个弟弟鎮國將軍朱幼𡔉、朱幼堮都有外戚，请求让他们的外祖父家族復家，获准。
朱幼塐奏子女長成，请求有司為他们建府第，代宗下詔允许，但山西都布二司怠慢不為办理，朱幼塐屡次为此上奏。景泰六年（1455年）三月，代宗下詔命巡按御史治官吏之罪，赶紧建置府第。
景泰七年（1456年）二月，因朱幼塐奏请，賜朱幼𡔉、朱幼堮儀從人各二十名。
天順元年（1457年）六月，给朱幼塐歲祿一千石，其中本色七百石、折色三百石，及菜煤戶各一。
天順二年（1458年）閏二月，因朱幼塐所请，赐其澤州稅課局鈔二千九百貫。
瀋府長平郡主造府第时，百姓程懷等被迁往他处。朱幼塐上奏想夺取程懷等被迁的地方，且恐吓程懷等人让他们不得搬迁。程懷等上言。天順六年（1462年）二月，英宗命将土地给程懷等人。
成化七年（1471年）九月，朱幼塐去世。明宪宗闻讯輟朝一日，按制度賜祭葬，谥安惠。
成化八年（1472年）三月，朱幼塐的嫡長子朱诠鐕奏朱幼塐死後祿米停支，請求仍然給賜，获准。
成化十二年（1476年）九月，朱诠鐕受册袭封。
评价

《弇山堂别集》卷074：好和不争，柔質慈民。
許志宏

：此条目页的主题不是。
| 許志宏 HSU CHIH HUNG |
| --- | --- |

鹿港鎮第18任鎮長
现任
就任日期 2018年12月25日
前任: 黃振彥
 
个人资料
出生:  (1973-01-18) 1973年1月18日（51歲）
国籍:  中華民國
政党:  中國國民黨

 经历  第20屆鹿港鎮民代表會主席  第19屆鹿港鎮民代表會主席  第18屆鹿港鎮民代表會副主席  彰化區漁會第8屆理事、第9屆監事、第10屆理事  彰化區漁會第7-8屆代表 
 
許志宏（1973年1月18日—），中華民國政治人物，中國國民黨黨員，現任彰化縣鹿港鎮長，曾任鹿港鎮民代表會主席。
學歷

國立彰化師範大學附屬工業學校
建國科技大學附設進修學院二年制國際企業管理系
國立彰化師範大學EMBA企業高階管理碩士班
經歷

第20屆鹿港鎮民代表會主席
第19屆鹿港鎮民代表會主席
第18屆鹿港鎮民代表會副主席
彰化區漁會第8屆理事、第9屆監事、第10屆理事
彰化區漁會第7-8屆代表
中國國民黨第19、20 屆全國黨代表
中國國民黨鹿港區黨部委員
鹿港後憲忠貞協會副主任
鹿港後備軍人輔導中心督導、委員
政治經歷 > 鎮民代表（2006－2018） > 鎮代會議事錄複製計畫

鑑於鹿港鎮民代表會自民國35年成立迄今有許多的文書檔案彌足珍貴，部分檔案已於民國96年獲國家檔案局徵集、移轉、典藏，秘書黃輝銘提出議事錄複製計畫。自民國100年開始整理、 影印、 精裝， 在未增加預算費用下，僅請代表會職工利用公餘加班複印，歷經三年餘，完成第1屆至第17屆議事錄精裝整理（第18屆當屆已製作完成）計39大冊。
政治經歷 > 鎮民代表（2006－2018） > 爭取轎店口老街觀光廊道環境改善工程

2015年5月，隨著時代演進，「轎店巷」後門巷道缺乏整理維護，成為髒亂死角，少有人出入。時任鎮代會主席的許志宏為了改善環境，帶著家人來除草、整理，清出三十幾車的廢棄物，再向鎮公所、營建署爭取經費，由鎮公所以120餘萬鋪設部分石板路，展現巷弄的面貌，獲得縣府與營建署的認同，續撥200餘萬加上地方配合款，終於整理出鹿港的一條幽巷秘境。 許志宏表示，此案是以民俗文物館為主及轎店口周邊巷弄觀光廊道環境改善工程，並以文創構思轎店口為古典婚紗攝影的地點，深具今古情境，所以取名「古早way、囍事道、桂花引珍情」來做為觀光行銷。
政治經歷 > 第18任鹿港鎮鎮長（2018－） > 配合觀光局暖冬遊 鎮公所加碼抽獎送禮

配合交通部觀光局暖冬觀光補助計畫，鹿港鎮公所加碼「暖冬遊鹿港抽獎送烏魚子」，凡在2019年1月使用暖冬補助住宿的旅客，即有機會抽獎。鎮長許志宏表示推薦鹿港的特色產業烏魚子，因為是入冬才有的美食，更重要的是歷史也記載彰化縣沿海烏魚品質，是台灣第一。
| 0 | 1 | 2 |
| --- | --- | --- |

政府职务
鹿港鎮公所
| 前任： 黃振彥 | 鹿港鎮鎮長 第十八屆 2018年12月25日－  | 繼任： ' |
參考資料

↑  . 2018-12-25. （原始内容存档于2021-03-02）.
↑   (PDF). 鹿港鄉情. 2014-09. （原始内容存档 (PDF)于2019-02-22）.
↑   (PDF). 鹿港鄉情. 2015-05. （原始内容存档 (PDF)于2019-02-22）.
层 (数学)

数学中，层（sheaf，或译束、捆）是一种系统地追踪数据的工具。数据附着在拓扑空间的开集上，局部定义于开集本身。例如，数据可以是定义在开集上的连续函数环。这些数据的行为是良好的：可限制在更小的开集中，而且（直观地说）每个数据都是其组成数据之和。这样，它们是研究有局部本质的实体的全局行为的自然工具，例如开集，解析函数，流形，等等。
研究层的数学领域叫做层论（sheaf theory）。
从概念上讲，层是比较一般、抽象的数学对象，其正确定义是相当技术性的。例如，根据分配给开集的数据类型，可分为集合层、环层等。
相同類型的層之間可以定義映射（或称态射），這使得（同類型的）层构成了一個范畴。另一方面，每个连续映射都关联着直像函子（将定义域上的层与态射送到到达域的层与态射）和反像函子（代表相反的运算）。这些函子及其部分变体是层论的重要组成部分。
层由于其普遍性与多功能性，在拓扑学，特别是代数几何与微分几何中有多种应用。
微分流形或概形等的几何结构可用空间上的环层表示。这时，向量丛与除子等几何结构都可很自然地用层表示。
层为非常一般的上同调论提供了框架，其中也包括“通常”的拓扑上同调论，如奇异上同调。特别是在代数几何与复流形理论中，层上同调为空间的拓扑与几何属性提供了有力的联系。
层提供了D模理论的基础，进而为微分方程理论找到了应用。
可将层推广到比拓扑空间更一般的场景，如格罗滕迪克拓扑，为数理逻辑和数论提供了应用。
定义与例子

在很多数学分支中，很多定义在拓扑空间X上的结构（如微分流形）可很自然地「局部化」或「限制到」开子集 U\subset X：典型例子如连续实值或复值函数、n次可微函数、有界实值函数、向量场、空间上任意向量丛的截面等等。将数据限制在更小开子集上的能力产生了预层（presheaf）的概念，粗略地说就是局部数据可粘合到全局数据。
定义与例子 > 预层

参见：预层 (范畴论)
设X为拓扑空间，C是范畴（常是集合范畴、交换群范畴、交换环范畴，或固定的环上的模范畴)。C中的物件在空间X上的预层（presheaf）  F 由如下数据给出：
对每個开子集 U\subset X，  F 給出一個C中的物件  F(U) ，也记作 \Gamma (U,F) 。這個物件称作  F 在  U 上的截面（section），  F 在  X 上的截面称作  F 的全局截面（global section）。
对于每个开集之间的包含关系 V\subseteq U ，有范畴C 中的一个态射 \operatorname {res} _{V,U}\colon F(U)\rightarrow F(V) ，称为限制态射 。若 s\in F(U) ，则 {\text{res}}_{V,U}(s) 常类比以函数限制的写法，记作 s|_{V} 。限制态射满足以下两点性质：
对于X中每个开集U，我们有 \operatorname {res} _{U,U}=\operatorname {id} _{F(U)}，也即，从U到U的限制是F(U)上的恒等态射。
给定任何三个开集 W\subseteq V\subseteq U，有 {\text{res}}_{W,V}\circ {\text{res}}_{V,U}={\text{res}}_{W,U}，即从U到V再到W的限制和从U直接到W的限制相同。
预层的很多例子来自不同类函数：对任意U，可给其上的连续实值函数集 C^{0}(U)分配限制映射，限制映射就是将U上的连续函数限制到开子集V，且又是连续函数。两条预层公理立即得到检验，从而给出预层例子。这可以扩展成全纯函数层 {\mathcal {H}}(-)与光滑函数层 C^{\infty }(-)。
另一类常见例子是将U上的常实值函数集分配给U，这个预层也叫做关联于 \mathbb {R} 的常预层，记作 {\underline {\mathbb {R} }}^{psh}。
这个定义可以用范畴论的术语很自然的表达。首先我们定义X上的开集的范畴为范畴 {\text{Top}}_{X}，其对象是X的开集而其态射为包含映射。 {\text{Top}}_{X}就成了和X的开子集上的偏序⊂相关的范畴。X上的C预层就是从 {\text{Top}}_{X}到C的反变函子。
定义与例子 > 层

给定预层，很自然的问题是，它在开集U上的截面在多大程度上由到U开子集的限制决定。确切地讲，预层的截面由限制条件唯一决定时，即成为层。
层是满足以下两条公理的预层：
（局部性：）假设U是开集， \{U_{i}\}_{i\in I}是U的开覆盖，满足 \forall i\in I,\ U_{i}\subseteq U，且 s,t\in F(U)是截面。 \forall i\in I,\ s|_{U_{i}}=t|_{U_{i}}，则 s=t。
（粘合性：）假设U是开集， \{U_{i}\}_{i\in I}是U的开覆盖，满足 \forall i\in I,\ U_{i}\subseteq U，且 \{s_{i}\in F(U_{i})\}_{i\in I}是一族截面。若所有截面对都与其定义域的重合一致，即若 \forall i,j\in I,\ s_{i}|_{U_{i}\cap U_{j}}=s_{j}|_{U_{i}\cap U_{j}}，则存在截面 s\in F(U)使 \forall i\in I,\ s|_{U_{i}}=s_{i}。
两个公理中，关于开覆盖的假设等价于假设




⋃

i
∈
I



U

i


=
U


{\textstyle \bigcup _{i\in I}U_{i}=U}

。
公理2保证存在的截面s称作截面 s_{i}的粘合（gluing）、连接（concatenation）或整理（collation）。据公理1，是唯一的。满足公理2的一致前提的截面 s_{i},\ s_{j}常称作相容（compatible），于是公理1、2共同说明：任何成对相容截面的集合都可唯一地粘合起来。分离预层（separated presheaf）或单预层（monopresheaf）是满足公理1的预层。
上述由连续函数组成的预层是层。这简化为检验给定连续函数 f_{i}:U_{i}\to \mathbb {R} （在交 U_{i}\cap U_{j}上一致）是否有唯一的连续函数 f:U\to \mathbb {R} ，其限制等于 f_{i}。相比之下，常预层常常不是层，因为不满足空集上的局部性公理。
预层和层一般用大写字母表示，F尤为常见，应为法语表示“层”的faisceau的首字母。花体字母也常见，如 {\mathcal {F}}。
可以证明，要指定一个层，只需指定其对底空间拓扑基开集的限制即可。此外，还可证明，只要验证覆盖的开集是否符合层公理即可。这个观察用来构造代数几何中十分重要的准凝聚层。这里所说的拓扑空间是交换环R的谱，其点是R中的素理想p。开集 D_{f}:=\{p\subset R,f\notin p\}构成了空间上的扎里斯基拓扑的基。给定R基M，Spec R上有层 {\tilde {M}}，满足
还有一种与前述等价的层表示。当且仅当对任意开U、U的任意开覆盖 (U_{a})，都有 {\mathcal {F}}(U)是纤维积 {\mathcal {F}}(U)\cong {\mathcal {F}}(U_{a})\times _{{\mathcal {F}}(U_{a}\cap U_{b})}{\mathcal {F}}(U_{b})时，预层 {\mathcal {F}}是层。这在构造层时特别有用，例如若 {\mathcal {F}},{\mathcal {G}}是阿贝尔层，则层态射 {\mathcal {F}}\to {\mathcal {G}}的核也是层，因为射影极限与射影极限可交换。上核不总是层，因为诱导极限不一定与射影极限可交换。一种解决方法是考虑诺特拓扑空间：开集都紧，由于有限射影极限与诱导极限可交换，所以上核是层了。
定义与例子 > 更多例子

任何纤维丛产生一个集合的层，通过取截面就可以得到。
赋环空间是有赋交换环层的空间；特别重要的有局部赋环空间，其中每个茎（参看下面）是局部环。
概形是特殊的局部赋环空间，在代数几何中很重要；模的层在相关理论中很重要。
定义与例子 > 更多例子 > 连续映射的截面层

拓扑空间的任何连续映射 f:Y\to X决定了X上的层 \Gamma (Y/X)，方法是置
这样的s一般叫做f的截面，这个例子也就是 F(U)中的元素通常叫截面的原因。当f是纤维丛在基空间上的投影时，这种构造尤为重要。例如，光滑函数层是平凡丛截面层。另一例：
的截面层是U上复对数的分支集合分配给任意U的层。
给定一个点x与阿贝尔群S，摩天层（skyscraper sheaf） S_{x}的定义如下：若U是含x的开集，则 S_{x}(U)=S；否则 S_{x}(U)=0，是平凡群。若开集都包含x，则限制映射是S上的恒等映射，否则是零映射。
定义与例子 > 更多例子 > 流形上的层

n维 C^{k}流形M上，有很多重要的层，如j阶连续可微函数层 {\mathcal {O}}_{M}^{j}\ (j\leq k)。它在某开U上的截面是 C^{j}函数 U\to \mathbb {R} 。对 j=k，这个层称为结构层，记作 {\mathcal {O}}_{M}。非零 C^{k}函数也形成一个层，记作 {\mathcal {O}}_{X}^{\times }。（度为p的）微分形式也形成层 \Omega _{M}^{p}。所有例子中，限制态射都由限制函数或形式给出。
将U分配到U上的紧支持函数不是层，因为一般没法传递到更小开子集后仍保留这性质。相反，这形成了上层的对偶概念，其中限制映射的方向与层相反。然而，从这些向量空间的对偶空间中确实可得到一个层，即分布层。
定义与例子 > 更多例子 > 不是层的预层

除了上述常预层外，还有很多不是层的预层：
令X是离散两点空间 \{x,y\}，具有离散拓扑。定义预层F： F(\varnothing )=\{\varnothing \},\ F(\{x\})=\mathbb {R} ,\ F(\{y\})=\mathbb {R} ,\ F(\{x,y\})=\mathbb {R} \times \mathbb {R} \times \mathbb {R}
限制映射 F(\{x,y\})\to F(\{x\})是 \mathbb {R} \times \mathbb {R} \times \mathbb {R} 在第一坐标的投影，限制映射 F(\{x,y\})\to F(\{y\})是 \mathbb {R} \times \mathbb {R} \times \mathbb {R} 在第二坐标的投影。F是不分离的预层：全局截面由3个数确定，但截面在 \{x\},\ \{y\}上的值则只决定了其中2个数字。因此，虽然可将 \{x\},\ \{y\}上的任意两截面粘在一起，但没有唯一的粘合。
令 X=\mathbb {R} 为实线，并令 F(U)为U上的有界连续函数集。这不是层，因为不总可粘合。例如，令 U_{i}=\{x||x|<i\}。恒等函数 f(x)=x在每个 U_{i}上都有界，因此我们得到 U_{i}上的截面 s_{i}。然而，由于函数f在实线上无界，所以这些截面并不粘合。于是F是预层，但不是层。其实，F是分离的，因为是连续函数层的子预层。
定义与例子 > 复解析空间和代数几何的动机

层的历史动机之一来自研究复流形、复解析几何与代数几何中的概形论。这是因为在前面的所有情形中，我们考虑的都是拓扑空间X及赋予其复流形、复解析空间或概形结构的结构层 {\mathcal {O}}。这种为拓扑空间配备层的观点对局部赋环空间理论至关重要（下详）。
定义与例子 > 复解析空间和代数几何的动机 > 复流形的技术挑战

引入层的主要历史动机之一，是构造一种跟踪复流形上全纯函数的结构。例如，紧复流形X（如复射影空间或齐次多项式射影空间的趋零轨迹）上，唯一的全纯函数是
f:X\to \mathbb {C}
是常函数。这意味着存在2个不同构的紧复流形 X,X'，全局全纯函数环 {\mathcal {H}}(X),{\mathcal {H}}(X')则同构。这与光滑流形相反，当中每个流形M都可嵌入 \mathbb {R} ^{n}，于是其光滑函数环 C^{\infty }(M)来自于对光滑函数 C^{\infty }(\mathbb {R} ^{n})的限制。考虑复流形X上的全纯函数环的另一个复杂性在于，给定足够小的开集 U\subset X，全纯函数将同构于 {\mathcal {H}}(U)\cong {\mathcal {H}}(\mathbb {C} ^{n})。层是处理这种复杂性的直接工具，因为层能跟踪任意开子集 U\subset X上X的底拓扑空间的全纯结构。这意味着，随着U变得越来越复杂，环 {\mathcal {H}}(U)可通过粘合 {\mathcal {H}}(U_{i})表达。注意，当要强调结构层所关联的空间时，有时这个层被表示为 {\mathcal {O}}(-)或只是 {\mathcal {O}}、 {\mathcal {O}}_{X}。
定义与例子 > 复解析空间和代数几何的动机 > 用层追踪子流形

另一个常见的层的例子见于复子流形 Y\hookrightarrow X。有相关层 {\mathcal {O}}_{Y}，取开子集 U\subset X，并给出 U\cap Y上的全纯函数环。这种形式化非常强大，激发了很多同调代数，如层上同调，因为相交理论可用这类层从塞尔相交公式中建立起来。
态射

令F和G为X上两个层，都在范畴C中取值。我们定义从G到F的态射为一族在范畴C内对于所有在X中的开U的态射 \varphi _{U}:\ G(U)\to F(U)，它们和限制映射可交换。也就是，下面的图必须可交换
对于X中的每一对开集 U\subseteq V。若F和G视为 {\text{Top}}_{X}\to C的反变函子，则它们之间的态射不过就是自然变换。采用这个定义，所有X上的C-值层构成一个范畴（一个函子范畴）。X上的层的一个同构就是这个范畴里的一个同构。
可以把这个概念推广到不同空间上的层之间的态射。令 f:\ X\to Y为一个两个拓扑空间之间的连续函数，并令F为X上的层且G为Y上的层，二者都在C中取值。那么从G到F的相对于f的态射为一族态射<math\>varphi_U:\ G(U)\to F(f^{-1}(U))</math>对于Y中每个开集U，使得图
对于Y中每一对开集 U\subseteq V可交换。前面的定义是f是X上的恒等映射时的特殊情况。
在一般情况中范畴理论的表述稍微复杂一点。令Top为从拓扑空间范畴Top到小范畴范畴Cat的反变函子，它把每个拓扑空间X映到其开集的偏序集范畴 {\text{Top}}_{X}。这里 {\text{Top}}(f):\ {\text{Top}}_{X}\to {\text{Top}}_{X}是反变函子，把每个开集映到它的原象。把F和Top(f)复合，得到 {\text{Top}}_{Y}\to C的反变函子。一个从G到F相对于f的态射就是 G\to F\circ {\text{Top}}(f)的自然变换。
注意上面所有这些对于预层也成立。
态射 > 层的茎

条目：茎 (层)
层 {\mathcal {F}}的茎（stalk） {\mathcal {F}}_{x}捕捉了层在点 x\in X“周围”的性质，推广了函数的芽（germ）。此处的“周围”是说要观察点附近越来越小的邻域。没有足够小的邻域时，就要考虑某种极限，更确切地说茎的定义是
有向极限（direct limit，用范畴论术语，这是一个余极限（colimit）的例子）是包含给定点x的X的所有开子集。即，茎的一个元素由x的某开邻域上的截面给出。两个这样的截面的限制若在更小的邻域上一致，则视作等价。
自然态射 F(U)\to F_{x}将 F(U)中的截面x发送到x处的芽，推广了芽的通常定义。
很多时候，知道了层的茎就足以控制层。例如，从茎就能判断层的态射是单射、满射还是同构，这样来看层是由茎（局部数据）决定的；相对地，全局截面（整个空间X上的截面 {\mathcal {F}}(X)）携带的全局信息通常就少些，例如对紧复流形X，全纯函数层的全局截面就只是 \mathbb {C} ，因为任何全纯函数
由刘维尔定理都是常值的。
态射 > 将预层变为层

预层数据取出、表示为层总是很有用。事实证明，取预层F再产生新层aF总有最好的方法，称作层化（sheafification）或取与预层相关联的层F，如常预层（上详）的层化称作常层（constant sheaf）。不过，其截面是局部常值函数。
层 aF可用F的平展空间构造，即作为映射
的截面层。另一种构造是通过预层到预层的函子L，渐进地改进预层的性质：对任意预层F， LF是分离预层；对任意分离预层F， LF是层。相关层 aF由 LLF给出。
层 aF是对预层F的最佳近似，下列泛性质使其变得更精确：有预层的自然态射 i\colon F\to aF，使得对任意层G、任意预层态射 f\colon F\to G，都有唯一的层态射 {\tilde {f}}\colon aF\rightarrow G使 f={\tilde {f}}i。其实a是从层范畴到预层范畴的包含函子（或遗忘函子）的左伴随函子，i是伴随的单位。这样，层范畴变为预层的Giraud子范畴。这就是为什么在构造层态射或层张量积的上核时会出现层化函子，而非在构造核时出现。
态射 > 子层、商层

若K是阿贝尔群的层F的子层，则商层Q是与预层 U\mapsto F(U)/K(U)相联系的层；即，商层符合阿贝尔群层的正合序列（exact sequence）：
（这也称作层扩张。）
令 F,G为阿贝尔群层。层F到G的态射的集合 \operatorname {Hom} (F,G)形成阿贝尔群（由G的阿贝尔群结构决定）。则，F与G的层同态记作
是阿贝尔群层 U\mapsto \operatorname {Hom} (F|_{U},G|_{U})，其中 F|_{U}是 (F|_{U})(V)=F(V)给出的U上的层（此处不需层化）。F、G的直和是 U\mapsto F(U)\oplus G(U)给出的层，F、G的张量积是与预层 U\mapsto F(U)\otimes G(U)相关联的层。
所有运算都可扩张到环层A上的模层；A是常层 {\underline {\mathbf {Z} }}时，以上是特殊情形。
态射 > 基本泛函性

由于（预）层的数据取决于基空间的开子集，不同拓扑空间上的层彼此无关，即之间没有态射。不过，给定两拓扑空间之间的连续映射 f:X\to Y，则前推和拉回将X上的层和Y上的层联系起来，反之亦然。
态射 > 基本泛函性 > 直像

层 {\mathcal {F}}在X上的前推（也称作直像）是层
其中V是Y的开子集，因此根据f的连续性，其预像在X中是开的。
这构造恢复了上述摩天层 S_{x}：
其中 i:\{x\}\to X是包含，而S被视作单元集上的层（由 S(\{*\})=S,S(\emptyset )=\emptyset ）。
对于局部紧空间之间的映射，有紧支撑集的直像是直像的子层。由定义， (f_{!}{\mathcal {F}})(V)包含支撑集为V上的紧合映射的 f\in {\mathcal {F}}(f^{-1}(V))。若f自身紧合，则 f_{!}{\mathcal {F}}=f_{*}{\mathcal {F}}，但一般不一致。
态射 > 基本泛函性 > 逆像

拉回或逆像则相反，在X上从Y上的层 {\mathcal {G}}产生层 f^{-1}{\mathcal {G}}。若f是开子集的包含，则逆像只是一个限制，即对开的 U\subset X，由 (f^{-1}{\mathcal {G}})(U)={\mathcal {G}}(U)给出。现有某空间X，如对一些开子集 U_{i}， X=\bigcup _{i\in I}U_{i}且F的限制对所有开子集为常值，则层F是局部常层。在很多拓扑空间X上，这种层等价于基本群 \pi _{1}(X)的表示。
对一般映射f而言， f^{-1}{\mathcal {G}}的定义更复杂，在逆像函子处很详细。从自然识别的角度来看，茎是拉回中的基本特例，其中i如上：
更一般地说，茎满足 (f^{-1}{\mathcal {G}})_{x}={\mathcal {G}}_{f(x)}.
态射 > 基本泛函性 > 零扩张

对开子集的包含 j:U\to X，U上阿贝尔群层的零扩张的定义是
对X上的层 {\mathcal {G}}，这构造在某种意义上是 i_{*}的补充，其中i是U之补的包含：
因此，这些函子十分利于将X的层理论问题简化为分层问题（即将X分解为更小的局部闭子集）。
补 > 更一般范畴中的层

上述（预）层的 {\mathcal {F}}(U)只是集合，很多时候跟踪界面上的附加结构也很重要。例如，连续函数层的截面自然形成了实向量空间，限制是其间的线性映射。
在任意范畴C中取值的预层是这样定义的：将X上的开集范畴视作偏序范畴 O(X)，其对象是X的开集，态射是包含。则，X上的C值预层等同于 O(X)\to C的反变函子。这函子范畴中的态射（也称作自然变换）与上面定义的态射相同，由定义自明。
若目标范畴C允许所有极限，则对任意开集U的每个开覆盖 {\mathcal {U}}=\{U_{i}\}_{i\in I}，若下图是等化子，则C值预层是层：
其中第一个映射是下面的限制映射之积：
那对箭头是两组限制集之积：
及
若C是阿贝尔范畴，则这条件也可改写为要求有正合序列
这层条件的特殊情形是：U是空集，索引集I也是空集。这时层条件要求 {\mathcal {F}}(\emptyset )是C中的终对象。
补 > 赋环空间与模层

条目：赋环空间和模层
在代数几何与微分几何等学科中，空间伴随着环的自然层，常称作结构层，记作 {\mathcal {O}}_{X}。这样的对子 (X,{\mathcal {O}}_{X})称作赋环空间。很多种空间都可定义为某种赋环空间。通常，结构层的所有茎 {\mathcal {O}}_{X,x}都是局部环，这时称作局部赋环空间。
例如，n维 C^{k}流形M是局部赋环空间，其结构层包含M的开子集上的 C^{k}函数。局部赋环空间的性质，意味着x点非零的函数在x的足够小的开邻域上也非零。有人将实（或复）流形定义为局部赋环空间，且局部同构于 \mathbb {R} ^{n}（或 \mathbb {C} ^{n}）的开子集及 C^{k}（或全纯）函数的层组成的对子。相似地，代数几何的基础空间概念——概形，是与环的谱局部同构的局部赋环空间。
给定赋环空间，模层是层 {\mathcal {M}}，使对开集 \forall U\subset X,\ {\mathcal {M}}(U)是 {\mathcal {O}}_{X}(U)模；对每个开集的包含 V\subseteq U，限制映射 {\mathcal {M}}(U)\to {\mathcal {M}}(V)与限制映射 {\mathcal {O}}(U)\to {\mathcal {O}}(V)相容： \forall f\in {\mathcal {O}}(U),\ s\in {\mathcal {M}}(U)，对fs的限制是f的限制乘以s的限制。
最重要的几何对象是模的层。例如，向量丛与 {\mathcal {O}}_{X}模的局部自由层间存在一一对应关系。这范式适用于实向量丛、复向量丛和代数几何中的向量丛（其中 {\mathcal {O}}分别包含光滑函数、全纯函数与正规函数）。微分方程解的层是D模，即微分算子层上的模。在任何拓扑空间上，常层 {\underline {\mathbf {Z} }}上的模都与上述意义的阿贝尔群层是一样的。
对环层的模层，有个不寻常的逆像函子，通常记作 f^{*}，与 f^{-1}不同。
补 > 赋环空间与模层 > 模层的有限性条件

交换环上模的有限性条件也会引起类似的模层的有限性条件：若对每个点 x\in X，存在x的开邻域U、自然数n（可能取决于U）及层的满射 {\mathcal {O}}_{X}^{n}|_{U}\to {\mathcal {M}}|_{U}，则 {\mathcal {M}}称作有限生成；若满射是 {\mathcal {O}}_{X}^{m}|_{U}\to {\mathcal {O}}_{X}^{n}|_{U}\to {\mathcal {M}}|_{U}\to 0（m也是自然数），则称作有限表示。与凝聚模的概念相似，若 {\mathcal {M}}是有限类，且对每个开集U、每个层态射 \phi :{\mathcal {O}}_{X}^{n}\to {\mathcal {M}}（不必是满射）， \phi 的核也是有限类，则称 {\mathcal {M}}是凝聚层。 {\mathcal {O}}_{X}若作为自身上的模是凝聚的，则也是凝聚的。与模类似，凝聚一般是个严格强于有限表示的条件。冈凝聚定理指出，复流形上全纯函数层是凝聚的。
层的平展空间

上面的例子中可以观察到，有些层是以截面层的形式自然出现的。实际上，集合的所有层都可表为拓扑空间的截面层，前者即是平展空间。
层论发展的早期，就证明了给定层X上的F和给定一个特定拓扑空间E以及一个从E到X的连续函数一样。更精确的讲：对于一个X上的集合层F，存在一个局域同胚
使得F和上节例子中所述的π的截面层同构。
进一步的有，空间E是确定的，最多差一个F的同胚。这是F的茎空间：每个茎给了离散拓扑，并且我们取所有茎的不交并，而π把所有的茎Fx映射到x。这个茎的空间的拓扑可以取为这样一个拓扑，它使得层F可以从π截面的层中重建出来。
在高一级的抽象中，我们可以说X上的集合的层的范畴是等价于到X的局部同胚的范畴的。（也可以从可表示函子的理论的角度来考虑这样一个空间；历史表明这个理论也在1950年代中期发展出来）。
在Godement的深具影响的关于同调代数和层论的书中（Topologie Algebrique et Theorie des Faisceaux, R. Godement），空间E被称为平展空间（espace étalé）；在那本书中，层事实上定义为从局部同胚的截面得到；上面给出的函子方式的定义后来才出现，但现在更为普遍。
上面的考虑对于X上的C层也成立：我们还是从茎的空间出发，每个茎是C中的一个对象，而截面自然也成为C中的对象。
给定任意连续映射g : Z → X,相应的截面的层给了上述方式的茎的空间E和一个局部同胚π : E → X。在某种意义上，这是处理映射g的所有'分支'，并且是以'尽可能最好的方式'。这可以用共轭函子表示；但是从某种意义上讲层的更广泛的概念远离了几何直觉。
层上同调

条目：层上同调
在开集U固定、层被视为变量的情形中，集合 F(U)也常表示为 \Gamma (U,F).
如上所述，这函子并不保留满态射，层满态射 {\mathcal {F}}\to {\mathcal {G}}是具有以下性质的映射：对任意截面 g\in {\mathcal {G}}(U)，有覆盖 {\mathcal {U}}=\{U_{i}\}_{i\in I}，其中
U=\bigcup _{i\in I}U_{i}
的开子集，使限制 g|_{U_{i}}在 {\mathcal {F}}(U_{i})的像中；但g本身不一定在 {\mathcal {F}}(U)的像中。这种现象的一个具体例子是全纯函数层与非零全纯函数间的指数映射
这映射是满态射，相当于说，任意非零全纯函数g（如在某C的开子集上）允许局部的复对数，即将g限制到适当的开子集后，有复对数。不过g不一定有全局对数。
层上同调捕捉到了这一现象：对阿贝尔群层正合序列
（即满态射 {\mathcal {F}}_{2}\to {\mathcal {F}}_{3}，核是 {\mathcal {F}}_{1}），有长正合序列 0\to \Gamma (U,{\mathcal {F}}_{1})\to \Gamma (U,{\mathcal {F}}_{2})\to \Gamma (U,{\mathcal {F}}_{3})\to H^{1}(U,{\mathcal {F}}_{1})\to H^{1}(U,{\mathcal {F}}_{2})\to H^{1}(U,{\mathcal {F}}_{3})\to H^{2}(U,{\mathcal {F}}_{1})\to \dots 通过序列，第一上同调群 H^{1}(U,{\mathcal {F}}_{1})是 {\mathcal {F}}_{2},\ {\mathcal {F}}_{3}截面之间映射的非满射性的度量。
有几种不同方法构造层上同调。Grothendieck (1957)将其定义为 \Gamma 的导出函子，这方法在理论上很令人满意，但由于基于单射消解，在具体计算中用处不大。Godement消解是另一种通用但实际无法使用的方法。
层上同调 > 计算层上同调

特别是在流形上的层的背景下，层上同调通常可由软层、细层和弛层的消解来计算。例如，单位分解表明，流形上的光滑函数层是软的。更高阶上同调群 H^{i}(U,{\mathcal {F}})\ (i>0)对软层为零，这就提供了计算其他层的上同调的方法，例如德拉姆复形是任何光滑流形上的常层 {\underline {\mathbf {R} }}的消解，于是 {\underline {\mathbf {R} }}的层上同调等于其德拉姆上同调。
另一种方法是切赫上同调，是第一个为层发展的上同调论，非常适合具体计算，如计算复射影空间 \mathbb {P} ^{n}的凝聚层上同调。其将空间开子集上的截面同空间上的上同调类联系起来。切赫上同调与导出函子上同调往往能算出相同的上同调群，但对某些病态空间，切赫上同调能给出正确的 H^{1}，而给出错误的更高阶上同调群。为解决这问题，让-路易·韦迪耶提出了超覆叠，不仅能给出正确的高阶上同调群，还允许用来自另一空间的某些态射替换上述开子集。这种灵活性在部分应用中非常有必要，如皮埃尔·德利涅的混合霍奇结构构造。
很多其他凝聚层上同调群存在于空间X嵌入已知上同调的空间（如 \mathbb {P} ^{n}或一些加权射影空间） i:X\hookrightarrow Y找到的。这样，这些环境空间上的已知的层上同调群可与层 i_{*}{\mathcal {F}}相关联，给出 H^{i}(Y,i_{*}{\mathcal {F}})\cong H^{i}(X,{\mathcal {F}})。例如，计算射影面曲线的凝聚层上同调就很容易。这空间中的一个重要定理是用与层上同调群相关的谱序列找到的霍奇分解，是德利涅证明的。本质上， E_{1}页的项
E_{1}^{p,q}=H^{p}(X,\Omega _{X}^{q})
是光滑射影簇X的层上同调的退化，即 E_{1}=E_{\infty }。这给出了上同调群上的正规霍奇结构 H^{k}(X,\mathbb {C} )。后来发现，这些上同调群很容易用格里菲斯留数计算，见雅可比理想。这类定理引出了关于代数簇上同调的最深刻的定理之一——分解定理，为混合霍奇模奠定了基础。
计算某些上同调群的另一种简便方法是博雷尔–韦伊–博特定理，将一些标志流形上的线丛的上同调群与李群的不可约表示联系起来。比如说，这定理可用来轻松计算射影空间和格拉斯曼流形上所有线丛的上同调群。
很多时候，层有一种对偶理论，推广了庞加莱对偶性。见凝聚对偶性与韦迪耶对偶性。
层上同调 > 层的导出范畴

（举例来说，某空间X上阿贝尔群的）层范畴的导出范畴可记作 D(X)，是层上同调概念的避风港，因为有以下关系：
f^{-1}是 f_{*}的左伴随（已经在阿贝尔群层的级别），给出了伴随
其中 Rf_{*}是导出函子。后一个函子包含了层上同调的概念，因为 H^{n}(X,{\mathcal {F}})=R^{n}f_{*}{\mathcal {F}} for  f:X\to \{*\}.
与 f_{*}相似，也可推导出具有紧支撑集的直像 f_{!}。根据下面的同构， Rf_{!}F参数化了f的纤维的具有紧支撑集的上同调：
这同构是基变换定理的一例。还有伴随
不同于上述所有函子，扭（或特殊）反像函子 f^{!}一般只定义在派生范畴的层级上，即函子不是阿贝尔范畴间的某函子的导出函子。若 f:X\to \{*\}，X是n维光滑有向流形，则
这种计算，以及函子与对偶性的相容性（见韦迪耶对偶性）蕴含着对庞加莱对偶性的高深见解。在概形上的准凝聚层中，有类似的对偶性，称作凝聚对偶性。
错致层是 D(X)中的某些对象，即复层（但一般不是真（proper）层），是研究奇点几何的重要工具。
层上同调 > 层的导出范畴 > 凝聚层的导出范畴与格罗滕迪克群

层导出范畴的另一重要应用是概形X上凝聚层的导出范畴，记作 D_{Coh}(X)。格罗滕迪克在研究相交理论时使用了导出范畴与K-理论，即子概形 Y_{1},Y_{2}的交积在K-理论中表示为
[Y_{1}]\cdot [Y_{2}]=[{\mathcal {O}}_{Y_{1}}\otimes _{{\mathcal {O}}_{X}}^{\mathbf {L} }{\mathcal {O}}_{Y_{2}}]\in K({\text{Coh(X)}})
其中 {\mathcal {O}}_{Y_{i}}是凝聚层，由其结构层给出的 {\mathcal {O}}_{X}模定义。
景与意象（拓扑斯）

条目：格罗滕迪克拓扑和Topos
安德烈·韦伊的韦伊猜想认为，有限域上的代数簇有一种上同调论，可给出黎曼猜想的类似理论。复流形的上同调可定义为欧氏拓扑中局部常层 {\underline {\mathbf {C} }}的层上同调，这意味着将正示性的韦伊上同调论定义为常层的层上同调。但是，这样的簇上唯一的经典拓扑是扎里斯基拓扑，其开集非常少，以至于不可约簇上任何扎里斯基常层的上同调都为零。亚历山大·格罗滕迪克通过引入格罗滕迪克拓扑解决了这问题，其公理化了“覆叠”的概念。格罗滕迪克的独到见解是，层的定义只取决于拓扑空间的开集，而非单个点。公理化了覆叠的概念，就可以把开集换成其他对象。预层可把每个对象作为数据，而层就是在新覆叠概念下满足粘合公理的预层。这使得格罗滕迪克能定义平展上同调和ℓ进上同调，最终用于证明韦伊猜想。
具有格罗滕迪克拓扑的范畴叫做景（site）。景上的层范畴称作意象（topos，或音译拓扑斯）或格罗滕迪克意象。意象的概念后来被William Lawvere和Miles Tierney抽象化，以定义基本意向，与数理逻辑有关。