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