2つの素数の間の関係

平方剰余の相互法則は2つの素数の間の関係について述べているところがすごい．
2つの素数の間の関係を記述するための設定として，Spec Z を対象の集合とする圏を考えたいところだが，Spec Z x Spec Z がスキームではないため，対象の全体および射の全体をスキームに enrich した圏として考えることができない．Spec F₁ があればよいのだが．