同様に、formula_1をx上の層とすると、xan上の対応する層formula_2が存在し、これが解析的な対象と代数的な対象を関連付ける函手となる。