连通Locale的基本性质

本文给出连通Ｌｏｃａｌｅ的一些基本性质，这些性质既有连通拓扑空间在Ｌｏｃａｌｅ理论中的对应性质，同时也有连通Ｌｏｃａｌｅ独有的．此外还研究了与连通Ｌｏｃａｌｅ相关的对象和映射的性质．

可连通逼近locale及其在Frm中的反射

对一个ｌｏｃａｌｅＡ，若Ａ中最大元恰可表示为一簇连通元之并，则定义Ａ为可连通逼近ｌｏｃａｌｅ．文中证明了可连通逼近ｌｏｃａｌｅ恰能表示成连通ｌｏｃａｌｅ的直积。