0004名前書いたら負けかなと思っている。垢版 | 大砲2022/07/09(日) 02:51:26.56ID:qvLzQfEO0 ℕ-定数層を自然数と思えば局所連結な位相空間XのSet層の圏Sh(X)の内部論理でデデキント切断とコーシー完備化で構成した実数はそれぞれℝ値-連続関数の層とℝ-定数層になるからSetが順序体の同型を除いて一意なのに対して一般のトポスでは異なるでしょ