まず、先に結論。次の3つの集合のあいだに同型がある。 2番の要素を場、3番の要素を関数と呼ぶ。同型だから対応がある。説明： は、底空間の圏。直積と終対象を持つ圏。指数は要求しない。 は、ファイバー空間の圏。 ファイバー空間の圏は、デカルト閉で、指…