presheaf

presheaf（前層）は、数学、特に圏論や代数幾何学において、空間の局所的な情報を体系的に扱うための基礎的な概念です。簡単に言えば、空間の各開集合に対して何らかのデータ（集合や群など）を割り当て、さらに大きな開集合から小さな開集合への制限写像という整合性を備えた構造を指します。

sheafとの決定的な違い

presheafとsheaf（層）の最大の違いは、局所的なデータから大域的なデータを一意に復元できるかという点にあります。presheafは単にデータを割り当てるだけの構造であり、局所的に定義されたデータが整合していても、それを繋ぎ合わせて一つの大きなデータとしてまとめられるとは限りません。一方でsheafは、この貼り合わせ条件を満たす特別なpresheafのことを指します。したがって、すべてのsheafはpresheafですが、すべてのpresheafがsheafであるわけではありません。

数学的な応用と役割

実用上の役割として、presheafはsheafを構築するための素材として機能します。任意のpresheafに対して、それをsheafに変換する層化（sheafification）という操作を行うことができ、これにより局所的な情報をより厳密に制御することが可能になります。例えば、連続関数の集合を扱う際、まずは単純な割り当てであるpresheafとして定義し、その後で貼り合わせ条件を確認してsheafとして扱うという手順が一般的です。