2015년 11월 4일 (수) 04:17 판 편집 Osteologia (토론 \| 기여) 점검 면제자, 장기인증된 사용자 39,111 편집 편집 요약 없음 ← 이전 편집		2015년 12월 5일 (토) 20:32 판 편집 편집 취소 Namobot (토론 \| 기여) 봇 32,875 편집 봇: 인용 틀 변수 이름 수정 다음 편집 →
227번째 줄: === 층 이론의 응용 === 1958년에 [[로제 고드망]]의 표준적인 층 이론 교재<ref>{{서적 인용\|제목=Topologie algébrique et théorie des faisceaux\|이름=Roger\|성=Godement \| 저자고리=로제 고드망 \| publisher=Hermann \| 위치=[[파리 (프랑스)\|파리]] \| mr=0345092 \| zbl = 0275.55010 \| 판=3 \| year=1973 \|총서=Actualités scientifiques et industrielles \| 권=1252 \| 언어고리=fr}}</ref> 가 출판되면서, 층 이론은 현대 수학의 주류 언어의 일부가 되었고, 더이상 [[대수적 위상수학]]에서뿐만이 아니라 대부분의 수학 분야에서 쓰이게 되었다. 차후 많은 시간이 지난 후, 층들의 범주에 대한 논리는 사실상 [[직관 논리]]({{lang\|en\|intuitionistic logic}})임이 밝혀졌다. (이 관찰은 흔히 [[크립키-조얄 의미론]](Kripke-Joyal semantics)로 불린다. 이 관찰은, 결국 층 이론은 그 바탕을 멀리 [[고트프리트 라이프니츠]]의 시대까지 역사를 거슬러 올라갈 수 있다는 것을 뜻하기도 한다. 248번째 줄: * {{매스월드\|id=Presheaf\|title=Presheaf}} * {{매스월드\|id=PresheafofCategories\|title=Presheaf of categories}} * {{웹 인용\|url=https://rigtriv.wordpress.com/2008/01/29/sheaves/\|제목=Sheaves\|~~작품명~~웹사이트=Rigorous Trivialities\|날짜=2008-01-29\|이름=Charles\|성=Siegel\|~~언어고리~~언어=en}} * {{웹 인용\|url=https://rigtriv.wordpress.com/2008/01/30/morphisms-of-sheaves/\|제목=Morphisms of sheaves\|~~작품명~~웹사이트=Rigorous Trivialities\|날짜=2008-01-30\|이름=Charles\|성=Siegel\|~~언어고리~~언어=en}} * {{웹 인용\|url=http://golem.ph.utexas.edu/category/2010/02/sheaves_do_not_belong_to_algeb.html\|제목=Sheaves do not belong to algebraic geometry\|이름=Tom\|성=Leinster\|~~언어고리~~언어=en}} * {{nlab\|id=sheaf\|title=Sheaf}} ** {{nlab\|id=motivation for sheaves, cohomology and higher stacks\|title=Motivation for sheaves, cohomology and higher stacks}}

층 (수학): 두 판 사이의 차이