对称的满层L-Kent收敛空间范畴的子范畴

在满层的L-Kent收敛空间中引入了对称性的概念,定义了对称的满层L-Kent收敛空间范畴,对称的满层L-极限空间范畴,对称的满层L-主收敛空间范畴,对称的满层L-拓扑空间范畴。证明这四个范畴是拓扑范畴,并且后一个是前一个的反射子范畴。最后证明了对称的满层L-Kent收敛空间范畴和对称的满层L-极限空间范畴是笛卡儿闭的。

满层L-收敛空间的局部有界与局部紧性

对满层L-收敛空间引入了有界集(紧集)和局部有界(紧)空间的概念,它们可以看作J?ger相应概念的推广。证明了:(1)广义Lowen函子(收敛空间范畴可以通过广义Lowen函子余反射嵌入到满层L-收敛空间范畴)保持并且反射有界(紧)性和局部有界(紧)性;(2)局部有界(紧)的满层L-收敛空间是满层L-收敛空间的余反射子范畴。

强满层L-收敛空间的一个注记

众所周知,强满层L-收敛空间自然是满层L-收敛空间,但反之不成立。给出了满层L-收敛空间成为强满层L-收敛空间的一个充要条件。给出了一种生成满层L-收敛空间的方法,并由此构造了一个从满层L-收敛空间到强满层L-收敛空间的具体的反射。

L-SLLSC同构L-SSC

对层次满层L-收敛空间引入了强左连续条件,证明了强左连续的层次满层L-收敛空间范畴:可以反射嵌入到层次满层L-收敛空间范畴;恰好可以刻画强满层L-收敛空间范畴。