ロカールとフレームの関係で、Locale = Frameop がある。順序的代数構造であるフレームがあれば、ロカールは要らないともいえる。が、ロカールが空間で、フレームはその空間に与えられた構造と考えると、心理的には把握しやすい。心理的な実在とも言える空間…

シャピラの「アーベル層」の教科書（https://webusers.imj-prg.fr/~pierre.schapira/lectnotes/Shv.pdf）によると： 上は前層の圏だが、下はなに？ 余前層の圏の反対圏だが、これは？