局部紧正则Locale的紧正则反射

关于如何给出locale的紧正则反射构造一直是locale理论中最重要研究课题,通过给出补紧元的定义,进而给出局部紧正则locale的紧正则反射的一个构造性描述,并保证了局部紧正则定义在locale上和在拓扑空间上的一致性.同时证明了若A是局部紧locale,则CR(A)(由A的所有理想组成的理想格Idl(A)的子frame)是紧正则locale;并对于局部紧正则locale A,CR(A)是A的紧正则反射,并给出了具体的反射关系图.

仿紧正则locale的紧正则反射

在locale范畴中讨论仿紧locale的性质,证明仿紧正则locale是正规的.通过正规locale的插入性,给出正则理想格CR(L)是仿紧正则locale的紧正则反射的构造性描述.

Locale范畴中的弱反射子范畴

反射性是范畴论中研究的重要内容,反射的复合性是构造反射性的重要途径。引入了弱反射子范畴的概念,并在此基础上给出反射性的弱形式的复合定理。在locale范畴中,证明了一个locale A的理想格Idl(A)是其限制在紧正则locale范畴上的弱反射子范畴。利用弱形式的反射复合定理,从不同的角度系统的讨论了locale范畴中各种紧性反射。

Locale的正则紧反射

ｌｏｃａｌｅ的正则紧反射函子的构造的明确描述问题是由ＢａｎａｓｃｈｅｗｓｋｉＢ．和ＭｕｌｖｅｙＣ．Ｊ．于１９８０年提出的，十多年来一直没有进展。本文通过在ｌｏｃａｌｅ上引入一种二元关系，给出了ｌｏｃａｌｅ的正则紧反射函子的构造性描述。