定義は表示しません。 層は、代数多様体、複素多様体などで大切な概念として活躍しています。 層の役割、箇条書きにしてみます。 （１）スマートホーンのように多機能である。 （２）大域を局所に移す（前層の働き） （３）局所を大域へ（コホモロジーを用い…